1966 search results - page 102 / 394 » Description Logics and Planning |
168
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
145
click to vote
AAAI
2008
15 years 8 months ago
2008
While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...
161
click to vote
DATESO
2008
15 years 7 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
187
click to vote
BIRTHDAY
2012
Springer
14 years 2 months ago
2012
Springer
We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. ...
177
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...