Login / Signup
On the Semantics of Deliberation in IndiGolog: From Theory to Implementation.
Giuseppe De Giacomo
Yves Lespérance
Hector J. Levesque
Sebastian Sardiña
Published in:
KR (2002)
Keyphrases
</>
logic programming
efficient implementation
specification language
general theory
theoretical framework
theoretical basis
formal semantics
information systems
web services
logic programs
speech acts
logical properties