Logic programming for knowledge-intensive interactive applications

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.

[1]  Borys Omelayenko,et al.  Semantic Excavation of the City of Books , 2007, SAAKM.

[2]  Frank van Harmelen,et al.  Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema , 2002, SEMWEB.

[3]  Manuel V. Hermenegildo,et al.  Concurrency in Prolog Using Threads and a Shared Database , 1999, ICLP.

[4]  Jan Wielemaker,et al.  An Overview of the SWI-Prolog Programming Environment , 2003, WLPE.

[5]  W. H. van Atteveldt,et al.  Semantic Network Analysis: Techniques for Extracting, Representing, and Querying Media Content , 2008 .

[6]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[7]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[8]  Natasa Jovanovic,et al.  To whom it may concern : adressee identification in face-to-face meetings , 2007 .

[9]  A. de Moor,et al.  Empowering communities: A method for the legitimate user-driven specification of network information systems , 1999 .

[10]  Benjamin W. Wah,et al.  Efficient reordering of Prolog programs , 1988, Proceedings. Fourth International Conference on Data Engineering.

[11]  Michiel Hildebrand,et al.  Prolog as the Fundament for Applications on the Semantic Web , 2007, ALPSWS.

[12]  David R. Butenhof.  Programming with POSIX threads , 1993 .

[13]  Marijn Huijbregts,et al.  Segmentation, diarization and speech transcription : surprise data unraveled , 2008 .

[14]  Manuel V. Hermenegildo,et al.  Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library , 2001, Theory Pract. Log. Program..

[15]  Henning Rode,et al.  From Document to Entity Retrieval: Improving Precision and Performance of Focused Text Search , 2008 .

[16]  Jan Wielemaker,et al.  An Architecture for Making Object-Oriented Systems Available from Prolog , 2002, WLPE.

[17]  Boris Shishkov,et al.  Software Specification Based on Re-usable Business Components , 2005 .

[18]  Clement H. C. Leung,et al.  Structured natural-language descriptions for semantic content retrieval of visual materials , 2001, J. Assoc. Inf. Sci. Technol..

[19]  Susan L. Graham,et al.  Gprof: A call graph execution profiler , 1982, SIGPLAN '82.

[20]  Anjo Anjewierden,et al.  Understanding Weblog Communities Through Digital Traces: A Framework, a Tool and an Example , 2006, OTM Workshops.

[21]  Ian Horrocks,et al.  OIL in a Nutshell , 2000, EKAW.

[22]  Bart Willem Schermer,et al.  Software Agents, Surveillance and the right to privacy , 2007 .

[23]  Laura Hollink,et al.  Semantic annotation for retrieval of visual resources , 2006 .

[24]  Johan van den Akker,et al.  DEGAS: an active, temporal database of autonomous objects , 1998 .

[25]  Bob J. Wielinga,et al.  Ontology-Based Photo Annotation , 2001, IEEE Intell. Syst..

[26]  Gopal Gupta,et al.  A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives , 2001, ICLP.

[27]  Ronald Poppe,et al.  Discriminative vision-based recovery and recognition of human motion , 2009 .

[28]  Koen V. Hindriks,et al.  Agent programming languages: programming with mental models , 2001 .

[29]  Eyal Oren,et al.  Sindice.com: Weaving the Open Linked Data , 2007, ISWC/ASWC.

[30]  C.M.T. Metselaar,et al.  Sociaal-organisatorische gevolgen van kennistechnologie : een procesbenadering en actorperspectief , 2000 .

[31]  Katalin Boer-Sorban.  Agent-Based Simulation of Financial Markets: A Modular, Continuous-time Approach , 2008 .

[32]  L. H. Christoph.  The role of metacognitive skills in learning to solve problems , 2006 .

[33]  Amit P. Sheth,et al.  SWETO: Large-Scale Semantic Web Test-bed , 2004 .

[34]  Jan Wielemaker,et al.  Native Preemptive Threads in SWI-Prolog , 2003, ICLP.

[35]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[36]  Willem-Jan van den Heuvel.  Integrating modern business applications with objectified legacy systems , 2002 .

[37]  Neerincx,et al.  Human-computer interaction and presence in virtual reality exposure therapy , 2003 .

[38]  Linda Dailey Paulson,et al.  Building Rich Web Applications with Ajax , 2005, Computer.

[39]  Jean-Marie Jacquet,et al.  Multi-Prolog: Definition, Operational Semantics and Implementation , 1993, International Conference on Logic Programming.

[40]  S. J. Karlsson.  Scalable distributed data structures for database management , 2000 .

[41]  Stacey Fusae Nagat.  User Assistance for Multitasking with Interruptions on a Mobile Device , 2006 .

[42]  David Jeffery,et al.  Type classes in Mercury , 2000, Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518).

[43]  van Joeri Ruth.  Flattening queries over nested data types , 2006 .

[44]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[45]  Matthias Jarke,et al.  An optimizing prolog front-end to a relational query system , 1984, SIGMOD '84.

[46]  S. Bocconi,et al.  Vox Populi : generating video documentaries from semantically annotated media repositories , 2006 .

[47]  W.C.A. Wijngaards,et al.  Agent-Based Modelling of Dynamics: Biological and Organisational Applications , 2002 .

[48]  Rainer Malik.  CONAN : Text Mining in the Biomedical Domain , 2006 .

[49]  Atanas Kiryakov,et al.  OWLIM - A Pragmatic Semantic Repository for OWL , 2005, WISE Workshops.

[50]  M. B. van Riemsdijk,et al.  Cognitive agent programming : A semantic approach , 2006 .

[51]  Martin Wigbertus Antonius Caminada.  For the sake of the Argument : explorations into argument-based reasoning , 1997 .

[52]  Peter Boncz,et al.  UvA-DARE ( Digital Academic Repository ) Monet ; a next-Generation DBMS Kernel For Query-Intensive Applications , 2007 .

[53]  Mats Carlsson,et al.  Garbage Collection for Prolog Based on WAM (Revised version) , 1986 .

[54]  Mark A. Musen,et al.  The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility , 2000, EKAW.

[55]  Raphael Volz,et al.  A Comparison of RDF Query Languages , 2004, SEMWEB.

[56]  L. D. Couprie,et al.  Iconclass: an iconographic classification system , 1983, Art Libraries Journal.

[57]  Jan Wielemaker,et al.  Separating user interface and functionality using a frame based data model , 1989, UIST '89.

[58]  Anjo Anjewierden,et al.  Task and domain ontologies for knowledge mapping in operational processes , 2004 .

[59]  Ian Horrocks,et al.  FaCT and iFaCT , 1999, Description Logics.

[60]  Zhisheng Huang,et al.  Inconsistent Ontology Diagnosis: Framework and Prototype , 2005 .

[61]  Mats Carlsson,et al.  SICStus MT - A Multithreaded Execution Environment for SICStus Prolog , 1998, PLILP/ALP.

[62]  Martijn van Otterlo,et al.  The logic of adaptive behavior : knowledge representation and algorithms for the Markov decision process framework in first-order domains , 2008 .

[63]  Donald E. Knuth,et al.  Literate Programming , 1984, Comput. J..

[64]  Peter Van Rosmalen,et al.  Supporting the tutor in the design and support of adaptive e-learning , 2008 .

[65]  Jan Broersen.  Modal Action Logics for Reasoning about Reactive Systems , 2003 .

[66]  W. Teepe.  Reconciling Information Exchange and Confidentiality, A Formal Approach , 2007 .

[67]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[68]  Marina Papatriantafilou,et al.  LFTHREADS: a lock-free thread library , 2009, CARN.

[69]  Nes.  UvA-DARE ( Digital Academic Repository ) Image database management systems design considerations algorithms and architecture , 2007 .

[70]  J. Wielemaker,et al.  Supporting Semantic Image Annotation and Search , 2002 .

[71]  R. Ramesh,et al.  Implementation of Tabled Evaluation with Delaying in Prolog , 1997, IEEE Trans. Knowl. Data Eng..

[72]  Timothy W. Finin,et al.  Swoogle: a search and metadata engine for the semantic web , 2004, CIKM '04.

[73]  P.A.T. van Eck,et al.  A Compositional Semantic Structure for Multi-Agent Systems Dynamics , 2001 .

[74]  Ans A. G. Steuten.  A contribution to the linguistic analysis of business conversations within the language/action perspective , 1998 .

[75]  Krys J. Kochut,et al.  BRAHMS: A WorkBench RDF Store and High Performance Memory System for Semantic Association Discovery , 2005, SEMWEB.

[76]  Zhisheng Huang,et al.  SWI-Prolog and the web , 2007, Theory and Practice of Logic Programming.

[77]  Gustaf Neumann,et al.  Querying Semantic Web Resources Using TRIPLE Views , 2003, SEMWEB.

[78]  R. V. D. Pol.  Knowledge-based query formulation in information retrieval , 2000 .

[79]  Heiner Stuckenschmidt,et al.  Reasoning with Multi-version Ontologies: A Temporal Logic Approach , 2005, SEMWEB.

[80]  C. van Nimwegen,et al.  The paradox of the guided user: assistance can be counter-effective , 2008 .

[81]  Guus Schreiber,et al.  Thesaurus-Based Search in Large Heterogeneous Collections , 2008, SEMWEB.

[82]  Juan Roberto Castelo Valdueza,et al.  The Discrete Acyclic Digraph Markov Model in Data Mining , 2002 .

[83]  Roelof van Zwol.  Modelling and searching web-based document collections , 2002 .

[84]  Marina Velikova,et al.  Monotone models for prediction in data mining , 2006 .

[85]  Curtis R. Cook,et al.  Using literate programming to teach good programming practices , 1994, SIGCSE '94.

[86]  Natalia Stash,et al.  Incorporating cognitive/learning styles in a general-purpose adaptive hypermedia system , 2007, LINK.

[87]  Norman Ramsey,et al.  Literate programming on a team project , 1991, Softw. Pract. Exp..

[88]  Jan Wielemaker,et al.  Ontology-based Photo Annotation Our Approach Developing Ontologies , 2001 .

[89]  Stefan Manegold,et al.  Understanding, modeling, and improving main-memory database performance , 2002 .

[90]  Dave J. Beckett,et al.  The design and implementation of the redland RDF application framework , 2001, WWW '01.

[91]  Brian McBride,et al.  Jena: Implementing the RDF Model and Syntax Specification , 2001, SemWeb.

[92]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[93]  van Arthur H. Bunningen.  Context-aware querying : better answers with less effort , 2008 .

[94]  ACADEMISCH PROEFSCHRIFT,et al.  On Computer-Aided Methods for Modeling and Analysis of Organizations , 2007 .

[95]  Bob J. Wielinga,et al.  Using Triples for Implementation: The Triple20 Ontology-Manipulation Tool , 2005, International Semantic Web Conference.

[96]  Eero Hyvönen,et al.  OntoViews - A Tool for Creating Semantic Web Portals , 2004, International Semantic Web Conference.

[97]  van Boris Wessel Schooten,et al.  Development and Specification of Virtual Environments , 2003 .

[98]  A. J. Hommersom,et al.  On the Application of Formal Methods to Clinical Guidelines, an Artificial Intelligence Perspective , 2008 .

[99]  R. King,et al.  Prediction of rodent carcinogenicity bioassays from molecular structure using inductive logic programming. , 1996, Environmental health perspectives.

[100]  Stephen Travis Pope,et al.  A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .

[101]  Dr. Pierre Deransart,et al.  Prolog: The Standard , 1996, Springer Berlin Heidelberg.

[102]  P. Groot,et al.  A Theoretical and Empirical Analysis of Approximation in Symbolic Problem Solving , 2004 .

[103]  Trung Huu Bui,et al.  Toward affective dialogue management using partially observable Markov decision processes , 2008 .

[104]  Daniel Schwabe,et al.  A hybrid approach for searching in the semantic web , 2004, WWW '04.

[105]  Dennis Reidsma,et al.  Annotations and subjective machines of annotators, embodied agents, users, and other humans , 2008 .

[106]  Manuel V. Hermenegildo,et al.  A Documentation Generator for (C)LP Systems , 2000, Computational Logic.

[107]  H. Stuckenschmidt,et al.  Ontology-Based Information Sharing in Weakly Structured Environments , 2003 .

[108]  Ricardo Rocha,et al.  On a Tabling Engine That Can Exploit Or-Parallelism , 2001, ICLP.

[109]  Hendrik Blockeel,et al.  Query Optimization in Inductive Logic Programming by Reordering Literals , 2003, ILP.

[110]  E. G. Boltjes,et al.  Voorbeeldig onderwijs : voorbeeldgestuurd onderwijs, een opstap naar abstract denken, vooral voor meisjes , 2004 .

[111]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[112]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[113]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[114]  Giovanni Tummarello,et al.  Enabling Semantic Web Communities with DBin: An Overview , 2006, International Semantic Web Conference.

[115]  Bela Mutschler,et al.  Modeling and simulating causal dependencies on process-aware information systems from a cost perspective , 2008 .

[116]  Stefan Schlobach,et al.  Semantic Web Techniques for Multiple Views on Heterogeneous Collections: A Case Study , 2006, ECDL.

[117]  Stefan Decker,et al.  TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web , 2002, SEMWEB.

[118]  Carlos Escalante.  A simple model of prolog's performance: extensional predicates , 1993, CASCON.

[119]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..

[120]  Thijs Westerveld,et al.  Using generative probabilistic models for multimedia retrieval , 2005, SIGF.

[121]  Jan Wielemaker,et al.  Shelley: computer-aided knowledge engineering , 1992 .

[122]  Kish Shen,et al.  A High-Level Generic Interface to External Programming Languages for ECLiPSe , 2002, PADL.

[123]  Jacob Lenting.  Informed gambling : conception and analysis of a multi-agent mechanism for discrete reallocation , 1999 .

[124]  Lai Xu.  Monitoring multi-party contracts for E-business , 2004 .

[125]  not Cwi,et al.  RDFa Primer, Embedding Structured Data in Web Pages , 2007 .

[126]  Jeff Heflin,et al.  An Evaluation of Knowledge Base Systems for Large OWL Datasets , 2004, SEMWEB.

[127]  Ashwin Srinivasan,et al.  Lattice-Search Runtime Distributions May Be Heavy-Tailed , 2002, ILP.

[128]  Jurriaan van Diggelen,et al.  Achieving semantic interoperability in multi-agent systems: A dialogue-based approach , 2007 .

[129]  Kunal Patel,et al.  Semantic Processing of the Semantic Web , 2003, SEMWEB.

[130]  R. Stallman.  EMACS the extensible, customizable self-documenting display editor , 1981, SIGPLAN SIGOA Symposium on Text Manipulation.

[131]  Bart Demoen,et al.  Dynamic attributes, their hProlog implementation, and a first evaluation , 2002 .

[132]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[133]  SWI-Prolog 5.6 Reference Manual , 2004 .

[134]  V. Bessa Machado.  Supporting the Construction of Qualitative Knowledge models , 2004 .

[135]  Jaap Gordijn,et al.  Value-based requirements engineering: exploring innovative e-commerce ideas , 2003, Requirements Engineering.

[136]  Derrick G. Kourie,et al.  A case for contemporary literate programming , 2004 .

[137]  A. J. Lehmann.  Causation in artificial intelligence and law : a modelling approach , 2003 .

[138]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

[139]  Jan Wielemaker,et al.  An Optimised Semantic Web Query Language Implementation in Prolog , 2005, ICLP.

[140]  Andreas Martin Thomas Lincke,et al.  Electronic business negotiation: some experimental studies on the interaction between medium, innovation context, and culture , 2003 .

[141]  A. T. Schreiber,et al.  Prolog-based infrastructure for RDF: performance and scalability , 2003 .

[142]  Bart Demoen,et al.  The K.U.Leuven CHR system: Implementation and application , 2004 .

[143]  Stephen Muggleton,et al.  Inverse entailment and progol , 1995, New Generation Computing.

[144]  A Miles.  OWL Ontology for Thesaurus Data , 2004 .

[145]  H.H.L.M. Donkers,et al.  NOSCE HOSTEM: Searching with Opponent Models , 1997 .

[146]  Curtis R. Cook,et al.  AOPS: an abstraction-oriented programming system for literate programming , 1993, Softw. Eng. J..

[147]  David R. Karger,et al.  Exhibit: lightweight structured data publishing , 2007, WWW '07.

[148]  G. Jonker.  Efficient and Equitable Exchange in Air Traffic Management Plan Repair using Spender-signed Currency , 2008 .

[149]  Eero Hyvönen,et al.  MuseumFinland - Finnish museums on the semantic web , 2005, J. Web Semant..

[150]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[151]  Henrik Eriksson,et al.  Knowledge modeling at the millennium : The design and evolution of Protégé-2000 , 1999 .

[152]  Frank van Harmelen,et al.  The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings , 2004, SEMWEB.

[153]  Li-Yan Yuan,et al.  Implementation of a Linear Tabling Mechanism , 2001, J. Funct. Log. Program..

[154]  Marko Smiljanic,et al.  XML schema matching : balancing efficiency and effectiveness by means of clustering , 2006 .

[155]  R. Arendsen,et al.  Geen bericht, goed bericht : een onderzoek naar de effecten van de introductie van elektronisch berichtenverkeer met de overheid op de administratieve lasten van bedrijven , 2008 .

[156]  Jan Wielemaker,et al.  PIDoc: Wiki style Literate Programming for Prolog , 2007, ArXiv.

[157]  Natalya F. Noy,et al.  Component-Based Support for Building Knowledge-Acquisition Systems , 2000 .

[158]  Henk Ernst Blok.  Database Optimization Aspects for Information Retrieval , 2002 .

[159]  Ingmar Weber,et al.  The CompleteSearch Engine: Interactive, Efficient, and Towards IR& DB Integration , 2007, CIDR.

[160]  Bob J. Wielinga,et al.  A redundancy-based method for the extraction of relation instances from the Web , 2007, Int. J. Hum. Comput. Stud..