5671 search results - page 768 / 1135 » A Semantic Approach to Interpolation |
192
click to vote
ICLP
2004
Springer
16 years 29 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...
211
click to vote
PPDP
2004
Springer
16 years 28 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...
194
Voted
COOPIS
2003
IEEE
16 years 26 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...
185
click to vote
DATE
2003
IEEE
16 years 26 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...
221
click to vote
VRML
2003
ACM
16 years 25 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...