Sciweavers

1121 search results - page 33 / 225
» Logics of Complementarity in Information Systems
Sort
View
BIRTHDAY
2006
Springer
14 years 16 days ago
Computational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
Bob Kowalski
QEST
2007
IEEE
14 years 3 months ago
Qualitative Logics and Equivalences for Probabilistic Systems
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
Luca de Alfaro, Krishnendu Chatterjee, Marco Faell...
AMAI
2004
Springer
13 years 8 months ago
Extending Answer Sets for Logic Programming Agents
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
Marina De Vos, Dirk Vermeir
DLOG
2010
13 years 6 months ago
KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
Quentin Reul, Jeff Z. Pan
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
14 years 2 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...