Towards a general theory of action and time
Artificial Intelligence
Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Journal of Logic Programming
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Plans and situated actions: the problem of human-machine communication
Plans and situated actions: the problem of human-machine communication
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Deep models, normative reasoning and legal expert systems
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Hierarchically organised formalisations
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Intention is choice with commitment
Artificial Intelligence
AI Magazine
Design problem solving: a task analysis
AI Magazine
Exploiting isomorphism: development of a KBS to support British coal insurance claims
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Separating world and regulation knowledge: where is the logic
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Representation of legal text for conceptual retrieval
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Artificial Intelligence
Neural networks and open texture
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Generic tasks and task structures: history, critique and new directions
Second generation expert systems
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Unifying default reasoning and belief revision in a modal framework
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
HTN planning: complexity and expressivity
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Early expert systems: where are they now?
MIS Quarterly
Sketch of an ontology underlying the way we talk about the world
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
CYC: a large-scale investment in knowledge infrastructure
Communications of the ACM
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Detecting change in legal concepts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
ON-LINE: an architecture for modelling legal information
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
The temporal analysis of Chisholm's paradox
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Construction of problem-solving methods as a parametric design
International Journal of Human-Computer Studies
Algorithms for selective enumeration of prime implicants
Artificial Intelligence
Learning to ask relevant questions
Artificial Intelligence
Generating exception structures for legal information serving
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Prolog (3rd ed.): programming for artificial intelligence
Prolog (3rd ed.): programming for artificial intelligence
Modal logic
POWER: using UML/OCL for modeling legislation - an application report
Proceedings of the 8th international conference on Artificial intelligence and law
FOIS introduction: Ontology---towards a new synthesis
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Common KADS Library for Expertise Modelling
Common KADS Library for Expertise Modelling
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Autonomous Agents and Multi-Agent Systems
An Approach to Knowledge Acquisition Based on the Structure of Personal Construct Systems
IEEE Transactions on Knowledge and Data Engineering
Configuration-Design Problem Solving
IEEE Expert: Intelligent Systems and Their Applications
Proposal for a Dutch Legal XML Standard
EGOV '02 Proceedings of the First International Conference on Electronic Government
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Problem-Solving Methods: Making Assumptions for Effeciency Reasons
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
A Conjunctive Query Language for Description Logic Aboxes
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Giving Permission Implies Giving Choice
DEXA '97 Proceedings of the 8th International Workshop on Database and Expert Systems Applications
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
AI and law: a fruitful synergy
Artificial Intelligence - Special issue on AI and law
A model of legal reasoning with cases incorporating theories and values
Artificial Intelligence - Special issue on AI and law
IEEE standard upper ontology: a progress report
The Knowledge Engineering Review
Ontology Versioning in an Ontology Management Framework
IEEE Intelligent Systems
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Using ontologies for comparing and harmonizing legislation
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Rational norm creation: attributing mental attitudes to normative systems, part 2
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Dialogues about the burden of proof
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Constructing a semantic network for legal content
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
On the Representation of Action and Agency in the Theory of Normative Positions
Fundamenta Informaticae - Deontic Logic in Computer Science
Formalising argumentative story-based analysis of evidence
Proceedings of the 11th international conference on Artificial intelligence and law
Argumentation structures in legal dossiers
Proceedings of the 11th international conference on Artificial intelligence and law
The Carneades model of argument and burden of proof
Artificial Intelligence
Separating law from geography in GIS-based eGovernment services
Artificial Intelligence and Law - AI & law in eGovernment and eDemocracy part II
A comparison of two modelling paradigms in the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Commonsense causal explanation in a legal domain
Artificial Intelligence and Law
Applied Ontology
Theory and Practice in AI and Law: A Response to Branting
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Mixing Legal and Non-legal Norms
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Developing Content for LKIF: Ontologies and Frameworks for Legal Reasoning
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Proposed XML Standards for Law: MetaLex and LKIF
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
Social network-based trust in prioritized default logic
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Change, change, change: three approaches
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Stereotype extraction with default clustering
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Time model for managing the dynamic of normative system
EGOV'06 Proceedings of the 5th international conference on Electronic Government
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
On the ontological status of norms
Law and the Semantic Web
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Hi-index | 0.00 |