3032 search results - page 146 / 607 » Description Logic Rules |
CADE
2008
Springer
14 years 11 months ago
2008
Springer
We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refuta...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We described here our perception of complex systems, of how we feel the different layers of description are an important part of a correct complex system simulation. We described ...
ECAI
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
ENTCS
2011
13 years 5 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
FDL
2004
IEEE
14 years 2 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...