3468 search results - page 148 / 694 » An open logical framework |
189
click to vote
FUIN
2008
15 years 6 months ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
191
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
151
click to vote
TACAS
2007
Springer
16 years 17 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
207
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
156
click to vote
ATAL
2007
Springer
16 years 19 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...