315 search results - page 22 / 63 » A Declarative Formalization of STRIPS |
TYPES
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
ICTAC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
MATES
2004
Springer
14 years 2 months ago
2004
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, current norm formalisms focus on the declarative nature of ...
IJCAI
1993
13 years 10 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...