Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
School time table scheduling in Prolog
ACM SIGART Bulletin
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Incremental re-execution of programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Efficient interpretation of Prolog programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
The early years of logic programming
Communications of the ACM
On strictness and its analysis
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Parallel execution of logic programs in the framework of OR-Forest
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
High-Speed CAM-Based Architecture for a Prolog Machine (ASCA)
IEEE Transactions on Computers
Algorithms for Constructing Minimal Deduction Graphs
IEEE Transactions on Software Engineering
Logic programming as a paradigm for financial modeling
MIS Quarterly
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Computational Efficiency of Parallel Combinatorial OR-Tree Searches
IEEE Transactions on Software Engineering
One the design and implementation of information systems from deductive conceptual models
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A general framework for visualizing abstract objects and relations
ACM Transactions on Graphics (TOG)
A deductive database architecture based on partial evaluation
ACM SIGMOD Record
SetLog, a tool for experimenting with new semantics
ACM SIGPLAN Notices
Performance Analysis of a Message-Oriented Knowledge-Base
IEEE Transactions on Computers
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
Design of a high-speed Prolog machine (HPM)
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
The formal specification and implementation of a modest first-order temporal logic
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Relating sentences and semantic networks with procedural logic
Communications of the ACM
Communications of the ACM
Issues in agent-oriented software engineering
First international workshop, AOSE 2000 on Agent-oriented software engineering
Spelling verification in prolog
ACM SIGPLAN Notices
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Automated reasoning with function evaluation for COCOLOG
Annals of Mathematics and Artificial Intelligence
Computational aspects of the FLBC framework
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
A new paradigm for computer-based decision support
Decision Support Systems - Special issue: Decision support systems: Directions for the next decade
Introspective and elaborative processes in rational agents
Annals of Mathematics and Artificial Intelligence
A propositional theorem prover to solve planning and other problems
Annals of Mathematics and Artificial Intelligence
On the Polynomially Solvable Problem of Designing Behavior of the Intelligent Robot
Automation and Remote Control
A Fast Consequence Recognition Algorithm for Monadic Logical Programs
Automation and Remote Control
Soft Computing for Intelligent Knowledge-based Systems
BT Technology Journal
Programming In Concurrent Logic Languages
IEEE Software
Efficient Reordering of Prolog Programs
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
G-Log: A Graph-Based Query Language
IEEE Transactions on Knowledge and Data Engineering
High-Order Pattern Discovery from Discrete-Valued Data
IEEE Transactions on Knowledge and Data Engineering
A Parallel Execution Model of Logic Programs
IEEE Transactions on Parallel and Distributed Systems
Mentor-1: An Expert Database System for Student Guidance
IEEE Expert: Intelligent Systems and Their Applications
Net-Based Computational Models of Knowledge-Processing Systems
IEEE Expert: Intelligent Systems and Their Applications
A Deductive Database Approach to A.I. Planning
Journal of Intelligent Information Systems
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
Information Extraction: Towards Scalable, Adaptable Systems
A Temporal Framework for Database Specification and Verification
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Patterns for Prolog Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Logicism and the Development of Computer Science
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Towards State Update Axioms: Reifying Successor State Axioms
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
Analysis of Imperative Programs through Analysis of Constraint Logic Programs
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Computational Logic: Memories of the Past and Challenges for the Future
CL '00 Proceedings of the First International Conference on Computational Logic
Towards a Logical Basis for Modelling and Querying Multi-dimensional Databases
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
A Collection of Pedagogical Agents for Intelligent Educational Systems
ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Fast Method for Ensuring the Consistence of Integrity Constraints
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Development reuse and the logic program derivation of two string-matching algorithms
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Translating advanced integrity checking technology to SQL
Database integrity
On translating geometric solids to functional expressions
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
ACM SIGPLAN Notices
Beyond PROLOG: software specification by grammar
ACM SIGPLAN Notices
Flexible access control policy specification with constraint logic programming
ACM Transactions on Information and System Security (TISSEC)
Computing with features as formulae
Computational Linguistics
Computational Linguistics
Translating Spanish into logic through logic
Computational Linguistics
Treating coordination in logic grammars
Computational Linguistics
Using focus to generate complex and simple sentences
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
ACM SIGCSE Bulletin
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
A PROLOG implementation of Government-Binding Theory
COLING '86 Proceedings of the 11th coference on Computational linguistics
Discourse, anaphora and parsing
COLING '86 Proceedings of the 11th coference on Computational linguistics
Default reasoning in natural language processing
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Research proposal to study: the role of executable metric models in the programming process
Proceedings of the workshop on Rapid prototyping
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
Realizability semantics for error-tolerant logics: preliminary version
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
Playing Mastermind more logically or writing Prolog more efficiently
ACM SIGART Bulletin
Toward computational description of written Polish: Warsaw University, Poland
ACM SIGART Bulletin
On termination of meta-programs
Theory and Practice of Logic Programming
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Living up to expectations: computing expert responses
HLT '86 Proceedings of the workshop on Strategic computing natural language
GUMS: a general user modeling system
HLT '86 Proceedings of the workshop on Strategic computing natural language
State-space sets, state-space graphs and n-prefix expressions
ACM SIGSAM Bulletin
The relation of Lorenzen calculus to formal language theory
ACM SIGSAM Bulletin
Integrating design synthesis and assembly of structured objects in a visual design language
Theory and Practice of Logic Programming
Addressed term rewriting systems: application to a typed object calculus
Mathematical Structures in Computer Science
Understanding intelligent agents: analysis and synthesis
AI Communications
Integrated semantic web services delivery: a cautionary tale
International Journal of Web Engineering and Technology
Irho: An imperative rewriting calculus
Mathematical Structures in Computer Science
α lean TAP: A Declarative Theorem Prover for First-Order Classical Logic
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Focused search for arguments from propositional knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
An Algorithm for Generating Arguments in Classical Predicate Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Last steps towards an ultimate Prolog
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
ZMOB: a new computing engine for AI
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
The conceptual calculus for automatic program understanding
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Use of abstraction and complexity levels in intelligent educational systems design
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Logic program derivation for a class of first order logic relations
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The intelligent channel: a scheme for result sharing in logic programs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Algorithms for effective argumentation in classical propositional logic: a connection graph approach
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
A parallel resolution procedure based on connection graph
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Formulating concepts according to purpose
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
A parallel resolution procedure based on connection graph
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Formulating concepts according to purpose
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Logical inventory database integration into alarm correlations discovery environment
International Journal of Intelligent Information and Database Systems
Revisiting and improving a result on integrity preservation by concurrent transactions
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
International Journal of Artificial Intelligence and Soft Computing
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Compositional semantics for the procedural interpretation of logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Checking violation tolerance of approaches to database integrity
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
Approximate boolean reasoning: foundations and applications in data mining
Transactions on Rough Sets V
Ontology-Based semantic interpretation as grammar rule constraints
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
The logical way to be artificially intelligent
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
A multi-level logic programming model of a query optimizer
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Artificial Intelligence in Medicine
Artificial intelligence and human thinking
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Working with events and states in PENG light
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Tor: extensible search with hookable disjunction
Proceedings of the 14th symposium on Principles and practice of declarative programming
Executing Suspended Logic Programs
Fundamenta Informaticae
Logic programming: from underspecification to undefinedness
CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128
Natural language processing by reasoning and learning
AGI'13 Proceedings of the 6th international conference on Artificial General Intelligence
Alan Turing and the development of Artificial Intelligence
AI Communications - ECAI 2012 Turing and Anniversary Track
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Hi-index | 0.06 |