A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Top-down, bottom-up multivalued default reasoning for identity maintenance
Proceedings of the 4th ACM international workshop on Video surveillance and sensor networks
Explicit and default negation in databases and logic programs
Proceedings of the 2nd SIGMOD PhD workshop on Innovative database research
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Checking Traces for Regulatory Conformance
Runtime Verification
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
Multivalued default logic for identity maintenance in visual surveillance
ECCV'06 Proceedings of the 9th European conference on Computer Vision - Volume Part IV
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Possibilistic semantics for logic programs with ordered disjunction
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A domain-independent framework for modeling emotion
Cognitive Systems Research
Hi-index | 0.00 |