Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
991	Iterated Belief Change: A Transition System Approach Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2005-06-15 17:27:45 Ethology Belief revision Knowledge representation Logic Logic programming Theory of justification Belief Constructible universe Modal logic Critical thinking Knowledge Epistemology
992	25th Anniversary Issue Reconsiderations Nils J. Nilsson ■ In 1983, I gave the AAAI president’s address titled Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2006-02-23 13:22:58 Programming paradigms Ethology Philosophy of artificial intelligence Computational neuroscience Neats vs. scruffies Open problems Logic programming Artificial intelligence Nils Nilsson Science Knowledge Reasoning
993	Scheduling Sport Tournaments using Constraint Logic Programming Andrea Schaerf Dipartimento di Informatica e Sistemistica Universit` a di Roma “La Sapienza” Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Applied mathematics Mathematical optimization Combinatorial optimization Complexity classes Constraint logic programming Logic programming Constraint Matching Assignment problem Theoretical computer science Constraint programming Computational complexity theory
994	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
995	TESLA: Temporally Enhanced System Logic Assertions Jonathan Anderson Robert N. M. Watson David Chisnall Khilan Gudka Ilias Marinos Brooks Davis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-04-15 11:46:35 Hardware verification languages Assertion Debugging Logic in computer science Tesla Roadster Clang Rust C E Software engineering Computing Computer programming
996	Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2013-04-09 22:34:32 Predicate logic Logic programming Lambda calculus Stable model semantics Atomic formula Fixed-point combinator Term algebra Ground expression Forcing Mathematical logic Mathematics Logic
997	Craziness and Metasemantics Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:33 Philosophical logic Semantics Interpretation Interpretations of quantum mechanics Philosophy of mind Many-worlds interpretation Truth Predicate Logic programming Logic Philosophy Reality
998	Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2006-07-05 14:23:02 Logic programming Rules of inference Automated theorem proving Theoretical computer science SLD resolution Abstraction Function Interpretation Algorithm Mathematics Mathematical logic Logic
999	Secure Context-sensitive Authorization Kazuhiro Minami and David Kotz Department of Computer Science, Dartmouth College {minami, dfk}@cs.dartmouth.edu Abstract Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:20 Mathematical logic Prolog Mathematical proof SQL Idea Computing Cognition Programming language theory
1000	Journal of Artificial Intelligence Research304 Submitted 7/10; published 1/11 Iterated Belief Change Due to Actions and Observations Aaron Hunter Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:29:00 Philosophy of language Belief revision Knowledge representation Logic programming Mathematical logic Litmus Belief Epistemology Interpretation Logic Science Ethology