3468 search results - page 150 / 694 » An open logical framework |
123
click to vote
IJCAI
2003
15 years 2 months ago
2003
Degrees of information and of contradiction are investigated within a uniform propositional framework, based on test actions. We consider that the degree of information of a propo...
121
click to vote
EEE
2005
IEEE
15 years 6 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
126
click to vote
EPIA
1997
Springer
15 years 5 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
113
click to vote
ASE
2004
15 years 25 days ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
SLP
1990
15 years 2 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.