506 search results - page 23 / 102 » Constructor-based observational logic |
153
click to vote
DLOG
2011
14 years 4 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
102
Voted
ENTCS
2006
15 years 17 days ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
103
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
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...
ICCD
2007
IEEE
15 years 9 months ago
2007
IEEE
Fin-type field-effect transistors (FinFETs) are promising substitutes for bulk CMOS in nano-scale circuits. In this paper, it is observed that in spite of improved device charact...