5671 search results - page 768 / 1135 » A Semantic Approach to Interpolation |
166
click to vote
ICLP
2004
Springer
16 years 7 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
188
click to vote
PPDP
2004
Springer
16 years 7 days ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
175
click to vote
COOPIS
2003
IEEE
16 years 5 days ago
2003
IEEE
In: Proceedings of the Eleventh International Conference on Cooperative Information Systems (CoopIS-03), pp. 93–109, Springer-Verlag LNCS Series. c 2003 by Springer-Verlag. We a...
165
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
193
click to vote
VRML
2003
ACM
16 years 3 days ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...