3891 search results - page 522 / 779 » A logic for strategic reasoning |
168
click to vote
LPNMR
2007
Springer
16 years 26 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 21 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 9 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,...
169
click to vote
ICLP
2005
Springer
16 years 7 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...
211
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...