Login / Signup
On the Semantics of Deliberation in Indigolog - from Theory to Implementation.
Sebastian Sardiña
Giuseppe De Giacomo
Yves Lespérance
Hector J. Levesque
Published in:
Ann. Math. Artif. Intell. (2004)
Keyphrases
</>
theoretical framework
theoretical basis
real time
speech acts
efficient implementation
computational model
information systems
logic programming
semantic information
knowledge base
data sets
default reasoning
formal semantics
database
general theory
model theoretic
formal languages