3229 search results - page 339 / 646 » Theories with the Independence Property |
171
click to vote
ATAL
2007
Springer
16 years 29 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...
178
click to vote
CAISE
2007
Springer
16 years 28 days ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
153
click to vote
FSEN
2007
Springer
16 years 28 days ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
146
click to vote
HYBRID
2007
Springer
16 years 28 days ago
2007
Springer
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
162
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...