POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Oblog-2: A hybrid knowledge representation system for defeasible reasoning
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Efficient implementation of lattice operations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
BABEL: a base for an experimental library
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Conceptual representation for knowledge bases and information retrieval systems
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Incorporating hierarchy in a relational model of data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling complex structures in object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
The O2 database programming language
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Type declarations as subtype constraints in logic programming
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A logic-based approach to system modelling
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
LLO: an object-oriented deductive language with methods and method inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Data structures and algorithms for disjoint set union problems
ACM Computing Surveys (CSUR)
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
Experimental classification facilities for Smalltalk
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A browser for bibliographic information retrieval, based on an application of lattice theory
SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Functions as passive constraints in LIFE
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Database Systems (TODS)
Dependency unification grammar for PROLOG
Computational Linguistics
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
New HELIC-II: a software tool for legal reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Unified versioning through feature logic
ACM Transactions on Software Engineering and Methodology (TOSEM)
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
LPL++: object programming language with built-in inheritance through unification
ACM SIGMIS Database
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Kima: An Automated Error Correction System for Concurrent Logic Programs
Automated Software Engineering
Ordering and Path Constraints over Semistructured Data
Journal of Intelligent Information Systems
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
Declarative Programs with Implicit Implications
IEEE Transactions on Knowledge and Data Engineering
A formalism for representing and reasoning with linguistic information
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Knowledge Representation for Natural Language Understanding: The L_LILOG Approach
IEEE Transactions on Knowledge and Data Engineering
An Axiomatic Approach to Feature Term Generalization
EMCL '01 Proceedings of the 12th European Conference on Machine Learning
Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
A Method for Reasoning with Ontologies Represented as Conceptual Graphs
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
On Some Algorithms for Multiple Inheritance in Object-Oriented Programming
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Equivalent Transformation by Safe Extension of Data Structures
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Induction of Logic Programs Based on psi-Terms
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
The description logic handbook
Retrieval of semistructured Web data
Intelligent exploration of the web
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Review of "The logic of typed feature structures" by Bob Carpenter. Cambridge University Press 1992.
Computational Linguistics
Processing language with logical types and active constraints
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Translating a unification grammar with disjunctions into logical constraints
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Incorporating inheritance and feature structures into a Logic Grammar formalism
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
A complete and recursive feature theory
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
Unification of disjunctive feature descriptions
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Knowledge extraction from texts: a method for extracting predicate-argument structures from texts
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
A treatment of negative descriptions of typed feature structures
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Un systeme inferentiel oriente objet pour des applications en langues naturelles
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
Learning semantic-level information extraction rules by type-oriented ILP
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
Constructing verb semantic classes for French: methods and evaluation
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
Resolution for label-based formulas in hierarchical representation
New Generation Computing
Typing constraint logic programs
Theory and Practice of Logic Programming
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
The CLEF semi-recursive generation algorithm
INLG '00 Proceedings of the first international conference on Natural language generation - Volume 14
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
RHB+: a type-oriented ILP system learning from positive data
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Using classification as a programming language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A theoretical framework for consistency techniques in logic programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Efficiency considerations on built-in taxonomic reasoning in Prolog
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Efficient parameterizable type expansion for typed feature formalisms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Algorithms and theory of computation handbook
Information flow based specification of data integration problem
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Cooperative query answering for RDF
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Paper: The representation of medical reasoning models in resolution-based theorem provers
Artificial Intelligence in Medicine
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
On the Semantics of a Semantic Network
Fundamenta Informaticae
Advanced computational reasoning based on the NKRL conceptual model
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |