2722 search results - page 397 / 545 » Automating Language Evolution |
197
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
201
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
173
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
139
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of opera...
200
click to vote
LPAR
2007
Springer
16 years 29 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...