Sciweavers

Share
4 search results - page 1 / 1
» Advanced Backjumping Techniques for Rule Instantiations
Sort
View
AGP
2003
IEEE
9 years 3 months ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello
LPNMR
2007
Springer
9 years 5 months ago
GrinGo : A New Grounder for Answer Set Programming
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
Martin Gebser, Torsten Schaub, Sven Thiele
CADE
2015
Springer
3 years 7 months ago
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
KeYmaera X is a theorem prover for differential dynamic logic (dL), a logic for specifying and verifying properties of hybrid systems. Reasoning about complicated hybrid systems mo...
Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Ma...
ICOODB
2009
94views Database» more  ICOODB 2009»
8 years 9 months ago
Metamodelling with Datalog and Classes: ConceptBase at the Age of 21
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...
Matthias Jarke, Manfred A. Jeusfeld, Hans W. Nisse...
books