3773 search results - page 518 / 755 » Logical Reasoning |
282
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
187
click to vote
TPHOL
2008
IEEE
16 years 27 days ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
147
click to vote
CSL
2005
Springer
16 years 2 days ago
2005
Springer
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...
157
click to vote
LPNMR
2005
Springer
16 years 1 days ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
154
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...