Situation semantics

Results: 15



#Item
11Mathematics / Abductive logic programming / Frame problem / Prolog / Action selection / Event calculus / Predicate / Atomic sentence / Situation calculus / Logic / Logic programming / Mathematical logic

An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2010-06-19 04:56:36
12Logic / Prolog / Futures and promises / Frame problem / Abductive logic programming / Predicate / Situation calculus / Operational semantics / Event calculus / Logic programming / Mathematical logic / Theoretical computer science

Towards a Logic-based Production System Language

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2011-08-20 04:15:20
13Mathematical logic / Knowledge representation / Interpretation / Philosophy of language / Philosophy of mind / Semantics / Situation calculus / Action description language / Frame problem / Logic / Mathematics / Logic programming

Temporal Logical Filtering – Preliminary Results **** DRAFT October 16, 2002 **** Eyal Amir Computer Science Division University of California at Berkeley

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2002-11-26 01:07:16
14Modal logic / Ontology / Abstraction / Semantics / Philosophical logic / Situation semantics / Saul Kripke / Truth / Event / Logic / Philosophy / Mathematical logic

Edward N. Zalta Twenty-Five Basic Theorems in

Add to Reading List

Source URL: mally.stanford.edu

Language: English - Date: 2008-09-12 12:09:07
15Semantics / Philosophy of language / Logic / Scalar implicature / Year of birth missing / Kratzer / Angelika / Situation semantics / Implicature / Linguistics / Inference / Pragmatics

PDF Document

Add to Reading List

Source URL: semanticsarchive.net

Language: English - Date: 2003-07-04 13:04:29
UPDATE