A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Unifying View of Some Linear Herbrand Procedures
Journal of the ACM (JACM)
A model and an architecture for a relational knowledge base
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Incremental re-execution of programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
A data-driven model for a subset of logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Performance Analysis of a Message-Oriented Knowledge-Base
IEEE Transactions on Computers
Application of knowledge base design techniques to genetic markers
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
A logic programming approach to frame-based language design
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Communications of the ACM
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
The fact database: a system based on inferential methods
SIGIR '80 Proceedings of the 3rd annual ACM conference on Research and development in information retrieval
SIGIR '80 Proceedings of the 3rd annual ACM conference on Research and development in information retrieval
The Semantic Binary Relationship Model of information
SIGIR '84 Proceedings of the 7th annual international ACM SIGIR conference on Research and development in information retrieval
A requirements and design aid for relational data bases
ICSE '81 Proceedings of the 5th international conference on Software engineering
Execution of logic programs on a dataflow architecture
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
The Fifth Generation grail: A survey of related research
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Review of "Logic for problem solving" by Robert Kowalski. Elsevier North Holland 1979.
Computational Linguistics
Semantics of conceptual graphs
ACL '79 Proceedings of the 17th annual meeting on Association for Computational Linguistics
Consistency and completeness of Omega, a logic for knowledge representation
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Modelling and manipulating production data bases in terms of semantic nets
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
| Hi-index | 48.24 |
An extended form of semantic network is defined, which can be regarded as a syntactic variant of the clausal form of logic. By virtue of its relationship with logic, the extended semantic network is provided with a precise semantics, inference rules, and a procedural interpretation. On the other hand, by regarding semantic networks as an abstract data structure for the representation of clauses, we provide a theorem-prover with a potentially useful indexing scheme and path-following strategy for guiding the search for a proof.