Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Special relations in automated deduction
Journal of the ACM (JACM) - The MIT Press scientific computation series
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
The British Nationality Act as a logic program
Communications of the ACM
Normalization of relations and PROLOG
Communications of the ACM
A generalised data base interface for APL
APL '86 Proceedings of the international conference on APL
Parsing and compiling using Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Graphical interface for logic programming
ACM SIGART Bulletin
A view of the origins and development of Prolog
Communications of the ACM
The early years of logic programming
Communications of the ACM
Conceptual organization of case law knowledge bases
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
DC parallelism of connection graph
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Interacting with expert systems
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
A parallel multiprocessor machine dedicated to relational and deductive data bases
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Hypothetical datalog negation and linear recursion
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hierarchically organised formalisations
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
An entity-relationship approach to the implementation of frame-based systems
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Machine translation using abductive inference
HLT '91 Proceedings of the workshop on Speech and Natural Language
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Communications of the ACM
Instruction-level parallelism in Prolog: analysis and architectural support
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
ACM Transactions on Modeling and Computer Simulation (TOMACS)
“Dynamic” inferencing with generalized resolution
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Factorization and circuit in the connection method
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Communications of the ACM
Semantic query processing in object-oriented databases using deductive approach
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Personalized information structures II: hyperstructure hotlists
SIGDOC '95 Proceedings of the 13th annual international conference on Systems documentation: emerging from chaos: solutions for the growing complexity of our jobs
Compositional parallel programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Composite document extended retrieval: an overview
SIGIR '85 Proceedings of the 8th annual international ACM SIGIR conference on Research and development in information retrieval
An axiomatic basis for general discrete-event modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
Knowledge-based optimal IIL generator from conventional logic circuit descriptions
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
On verification of database temporal constraints
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Test case generation using Prolog
ICSE '85 Proceedings of the 8th international conference on Software engineering
On database systems development through logic
ACM Transactions on Database Systems (TODS)
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
PROLOG applications for database design with the information center
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Partial evaluation of logic programs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Extensions and foundations of object-oriented programming
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Saving traces for Ada debugging
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Argus/V: a system for verification of Prolog programs
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Experience with Or-parallelism of connection graphs
CSC '91 Proceedings of the 19th annual conference on Computer Science
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assessing Test Data Adequacy through Program Inference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Relating sentences and semantic networks with procedural logic
Communications of the ACM
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic-based artificial intelligence
Desert Island Column: The Books Don't Work
Automated Software Engineering
Design and Implementation of a Semantic Query Optimizer
IEEE Transactions on Knowledge and Data Engineering
Parallel Rule-Based Fuzzy Inference on Mesh-Connected Systolic Arrays
IEEE Expert: Intelligent Systems and Their Applications
APL '84 Proceedings of the international conference on APL
The new generation of computer architecture
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Specification and verification of distributed systems using prolog interpreted petri nets.
ICSE '84 Proceedings of the 7th international conference on Software engineering
Compiling a functional language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
TABLOG: The deductive-tableau programming language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Automated testing of protocol specifications and their implementations
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
A parallel Prolog: The construction of a data driven model
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
How to define a language using PROLOG
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Logic enhancement: A method for extending logic programming languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
ILEX an intelligent relational database system
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Parallel interpretation of logic programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A simple software environment based on objects and relations
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Action and transaction skeletons:: High level language constructs for database transactions
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Decentralised control flow - based on UNIX
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
AMORD explicit control of reasoning
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
Design decisions influencing the microarchitecture for a Prolog machine
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Logic programming applied to hardware design specification and verification
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Prolog as a simulation language
WSC '84 Proceedings of the 16th conference on Winter simulation
Compiling prolog programs for parallel execution on a cellular machine
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Towards a western Fifth-Generation Computer System project
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Pseudo-oracles for non-testable programs
ACM '81 Proceedings of the ACM '81 conference
ACM '79 Proceedings of the 1979 annual conference
Semantic Opposition and WordNet
Journal of Logic, Language and Information
Encyclopedia of Computer Science
Extracting causal nets from databases
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Journal of Parallel and Distributed Computing
Towards Machine Learning of Grammars and Compilers of Programming Languages
ECML PKDD '08 Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II
The design of a system for designing knowledge representation systems
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
An algorithm that infers theories from facts
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Logic modelling of cognitive reasoning
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Integrating logic programs and schemata
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
How to represent evidence: aspects of uncertain reasoning
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Descriptions as constraints in object-oriented representation
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
PRISM: a parallel inference system for problem solving
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A sequential view of AND-parallelism through partial AND-processes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Explanation based program transformation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The specialization and transformation of constructive existence proofs
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Explanation in the situation calculus
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A logic-based architecture for knowledge management
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
What's in a mental model? on conceptual models in reasoning with spatial descriptions
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Learning disjunction of conjunctions
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Dynamic semantics for tense and aspect
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Prolog for applications programming
IBM Systems Journal
Deductive Runtime Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
Soft constraints and heuristic constraint correction in entity-relationship modelling
Proceedings of the 2nd international conference on Semantics in databases
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
Logic programming for knowledge representation
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Hi-index | 0.12 |