Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
511	Modularity and compositionality in Jason Neil Madden and Brian Logan School of Computer Science University of Nottingham, UK. {nem,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-18 06:12:42 Artificial intelligence 2APL Prolog Datalog Modularity AgentSpeak Logic programming Programming language Coupling Computing Multi-agent systems Software engineering
512	Elaboration Tolerance through Object-Orientation Joakim Gustafsson and Jonas Kvarnstr¨om Department of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden {joagu,jonkv}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:41 Computing Object Circumscription Inheritance ECO Prolog JavaScript Constructor Software engineering Object-oriented programming Computer programming
513	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:15:53 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
514	Rule Responder HCLS eScience Infrastructure Adrian Paschke Free University Berlin, Germany paschke at inf.fu-berlin.de Add to Reading List Source URL: www.corporate-semantic-web.de Language: English - Date: 2008-12-16 05:04:35 Software engineering Rule engines Knowledge representation Knowledge engineering Reasoning Prova Semantic reasoner SPARQL Prolog Computing Semantic Web Artificial intelligence
515	An Operational Semantics for AgentSpeak(RT) Konstantin Vikhorev1 , Natasha Alechina1 , Rafael H. Bordini2 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:33:42 Software engineering 2APL AgentSpeak Prolog Multi-agent systems Computing Artificial intelligence
516	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines Alberto Momigliano Laboratory for the Foundations of Computer Science University of Edinburgh Joint work with Jeff Pola Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-08 05:08:56 Type theory Logic in computer science Reasoning Mathematical logic Epistemology Logic programming Prolog Logical framework Twelf Logic Mathematics Programming language theory
517	WUENIC – A Case Study in Rule-Based Knowledge Representation and Reasoning Robert Kowalski1 and Anthony Burton2,* 1 Imperial College London Add to Reading List Source URL: www.childinfo.org Language: English - Date: 2012-11-06 12:11:41 Knowledge Programming paradigms Critical thinking Logical consequence Arguments Prolog Inference Argumentation theory Knowledge representation and reasoning Logic Reasoning Science
518	PDF Document Add to Reading List Source URL: www.prolog.or.at - Date: 2012-03-27 03:51:56
519	Library and IT Services Program group Faculty Specific Humanities   Add to Reading List Source URL: www.tilburguniversity.edu Language: English - Date: 2014-10-16 07:49:33 Microsoft EndNote SWI-Prolog EViews Software Computing SPSS
520	A Language for Legal Discourse I. Basic Features L. Thorne McCarty Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2003-10-01 21:36:09 Proof theory Intuitionistic logic Logic programming Negation Prolog Mathematical proof Modal logic First-order logic Sequent Logic Mathematical logic Non-classical logic

UPDATE