Towards a general theory of action and time
Artificial Intelligence
Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
AI Magazine
The society of mind
International Journal of Man-Machine Studies - Knowledge acquisition for knowledge-based systems. Part 2
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Cyc: toward programs with common sense
Communications of the ACM
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Enabling technology for knowledge sharing
AI Magazine
Readings in model-based diagnosis
Readings in model-based diagnosis
KADS: a modelling approach to knowledge engineering
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
(ML)2: a formal language for KADS models of expertise
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
Knowledge Acquisition - Special issue on knowledge acquisition for therapy-planning tasks
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
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
ON-LINE: an architecture for modelling legal information
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Using explicit ontologies in KBS development
International Journal of Human-Computer Studies
Understanding, building and using ontologies
International Journal of Human-Computer Studies
The Ontolingua Server: a tool for collaborative ontology construction
International Journal of Human-Computer Studies - Special issue: innovative applications of the World Wide Web
OKBC: a programmatic foundation for knowledge base interoperability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The commonKADS library in perspective
International Journal of Human-Computer Studies
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Generating exception structures for legal information serving
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Legal modeling and automated reasoning with ON—LINE
International Journal of Human-Computer Studies - Model—based legal knowledge engineering
Knowledge engineering and management: the CommonKADS methodology
Knowledge engineering and management: the CommonKADS methodology
On the representation of roles in object-oriented and conceptual modelling
Data & Knowledge Engineering
Evaluating ontological decisions with OntoClean
Communications of the ACM - Ontology: different ways of representing the same concept
Towards a standard upper ontology
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
Causal Al Models: Steps toward Applications
Causal Al Models: Steps toward Applications
Automating Knowledge Acquisition for Expert Systems
Automating Knowledge Acquisition for Expert Systems
Facilitating the Legislation Process Using a Shared Conceptual Model
IEEE Intelligent Systems
CML: The CommonKADS Conceptual Modelling Language
EKAW '94 Proceedings of the 8th European Knowledge Acquisition Workshop on A Future for Knowledge Acquisition
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Three theses of representation in the semantic web
WWW '03 Proceedings of the 12th international conference on World Wide Web
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
An overview of Knowledge Representation
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The Complexity of Reasoning with Concrete Domains Revised Version
The Complexity of Reasoning with Concrete Domains Revised Version
An overview of KRL, a Knowledge Representation Language
An overview of KRL, a Knowledge Representation Language
Actions and Events in Interval Temporal Logic
Actions and Events in Interval Temporal Logic
Proceedings of the 2nd international conference on Knowledge capture
Current topics in qualitative reasoning
AI Magazine
A Semantic Web Primer
Overview and analysis of methodologies for building ontologies
The Knowledge Engineering Review
Human Problem Solving
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
Semantic enhancement for legal information retrieval: Iuriservice performance
Proceedings of the 11th international conference on Artificial intelligence and law
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
DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO)
Web Semantics: Science, Services and Agents on the World Wide Web
Commonsense causal explanation in a legal domain
Artificial Intelligence and Law
Artificial Intelligence and Law
On the Properties of Metamodeling in OWL1
Journal of Logic and Computation
Applied Ontology
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Mixing Legal and Non-legal Norms
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Automated Detection of Reference Structures in Law
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
An OWL Ontology of Fundamental Legal Concepts
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth 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
A two-level knowledge approach to support multilingual legislative drafting
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Automated Legal Assessment in OWL 2
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
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
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
An ontology design pattern for representing relevance in OWL
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Ontology performance profiling and model examination: first steps
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A core ontology for business process analysis
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Ontology design patterns for semantic web content
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
SADIe: semantic annotation for accessibility
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A model driven approach for building OWL DL and OWL full ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Representing transitive propagation in OWL
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Use and reuse of legal ontologies in knowledge engineering and information management
Law and the Semantic Web
Types and roles of legal ontologies
Law and the Semantic Web
A constructive framework for legal ontologies
Law and the Semantic Web
Hi-index | 0.00 |