3970 search results - page 539 / 794 » A Logic For Causal Reasoning |
134
click to vote
EUROPAR
2007
Springer
16 years 25 days ago
2007
Springer
We present in detail a GCA (Global Cellular Automaton) algorithm with 3n cells for Hirschberg’s algorithm which determines the connected components of a n-node undirected graph w...
166
click to vote
LPNMR
2007
Springer
16 years 24 days ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
191
click to vote
ADC
2006
Springer
16 years 19 days ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
153
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
165
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...