77 search results - page 9 / 16 » Description Logic Programs: Normal Forms |
102
click to vote
PADL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
175
click to vote
FLAIRS
2009
14 years 11 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...
123
Voted
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
110
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
146
Voted
CONCUR
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...