Communications of the ACM
A framework for choosing a database query language
ACM Computing Surveys (CSUR)
Normalization of relations and PROLOG
Communications of the ACM
Generating editing environments based on relations and attributes
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGAPL APL Quote Quad
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Handling shared resources in a temporal data base management system
COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
Language constructs for programming by example
COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P
IEEE Transactions on Computers
Graphic interfaces for knowledge-based system development
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Parsing and compiling using Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Prolog dialects: a deja vu of BASICs
ACM SIGPLAN Notices
Use of instruction set simulators to evaluate the LOW RISC
ACM SIGARCH Computer Architecture News
Solutions to logic problems in APL2
APL '87 Proceedings of the international conference on APL: APL in transition
Oaklisp: an object-oriented scheme with first class types
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
ACM SIGSAM Bulletin
High performance integrated Prolog processor IPP
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Performance studies of a parallel Prolog architecture
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
An experimental VLSI Prolog interpreter: preliminary measurements and results
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Prolog in the automation of the semantic component
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
VALKYRIE: a validation subsystem of a version server for computer-aided design data
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
A law-based approach to object-oriented programming
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
System = program + users + law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
An approach to integrating expert system components into production software
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Are applicative languages inefficient?
ACM SIGPLAN Notices
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
IEEE Transactions on Software Engineering
Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering
The network control assistant (NCA), a real-time prototype expert system for network management
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
GTEX—A group technology expert system
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
High-Speed CAM-Based Architecture for a Prolog Machine (ASCA)
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Pascal's emulation of a Prolog program
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Dataflow Computing Models, Languages, and Machines for Intelligence Computations
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
A two-tier memory architecture for high-performance multiprocessor systems
ICS '88 Proceedings of the 2nd international conference on Supercomputing
Vectorization techniques for prolog
ICS '88 Proceedings of the 2nd international conference on Supercomputing
A hybrid scheme for detecting AND-parallelism in prolog programs
ICS '88 Proceedings of the 2nd international conference on Supercomputing
Rule management for heterogeneous knowledge-based systems
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Efficient Database Access from Prolog
IEEE Transactions on Software Engineering
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Building a backtracking facility in smalltalk without kernel support
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Intensional concepts in an object database model
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
A framework to support an object-oriented view of existing engineering databases
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
A high-speed hardware unit for a subset of logic resolution
MICRO 21 Proceedings of the 21st annual workshop on Microprogramming and microarchitecture
A transformational approach to the derivation of hardware algorithms from recurrence equations
Proceedings of the 1988 ACM/IEEE conference on Supercomputing
A natural language front-end for knowledge acquisition
ACM SIGART Bulletin - Special issue on knowledge acquisition
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
A software development environment for law-governed systems
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A graph transform model for configuration management environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
Dynamic query evaluation plans
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Algorithms for Constructing Minimal Deduction Graphs
IEEE Transactions on Software Engineering
Interactive blackbox debugging for concurrent languages
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Logic programming as a paradigm for financial modeling
MIS Quarterly
Teaching recursion as a problem-solving tool using standard ML
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
An example of formal specification as an aid to design and development
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Fully abstract compositional semantics for logic programs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A direct execution architecture for Prolog?
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
An interpreter for large knowledge bases
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
Query optimization in a memory-resident domain relational calculus database system
ACM Transactions on Database Systems (TODS)
Towards Banishing the Cut from Prolog
IEEE Transactions on Software Engineering
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Language for Specifying Program Transformations
IEEE Transactions on Software Engineering
Computational Improvements in Prolog Applications by Predicate Variable Pointers
IEEE Transactions on Software Engineering
Representing knowledge with functions and Boolean arrays
IBM Journal of Research and Development
A functional programming language compiler for massively parallel computers
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The Performance of Parallel Prolog Programs
IEEE Transactions on Computers
An interactive source commenter for Prolog programs
SIGDOC '90 Proceedings of the 8th annual international conference on Systems documentation
An augmented Prolog programming environment for tutoring applications
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Pipelined OR-parallelism architecture for parallel execution of Prolog
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Configuration management by consensus: an application of law-governed systems
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
STP: a simple theorem prover for IBM-PC compatible computers
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
A dedicated small computer for artificial intelligence
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Starvation and Critical Race Analyzers for Ada
IEEE Transactions on Software Engineering
Functional dependencies in Horn clause queries
ACM Transactions on Database Systems (TODS)
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
A logic-based approach to system modelling
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Data structures and algorithms for disjoint set union problems
ACM Computing Surveys (CSUR)
SetLog, a tool for experimenting with new semantics
ACM SIGPLAN Notices
Integrating logic and object-oriented programming
ACM SIGPLAN OOPS Messenger
Towards a deductive database for small simple groups
ACM SIGSAM Bulletin
BREL—a Prolog knowledge-based system shell for VLSI CAD
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
The POSTGRES next generation database management system
Communications of the ACM
An Executable Language for Modeling Simple Behavior
IEEE Transactions on Software Engineering
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
High-level language debugging for concurrent programs
ACM Transactions on Computer Systems (TOCS)
Implementing denotational semantics with logic programming
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Instruction-level parallelism in Prolog: analysis and architectural support
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
PETINA—tour generation using the ElipSys inference system
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Automatic deduction of temporal information
ACM Transactions on Database Systems (TODS)
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
The maintenance of intermediate values in goal-directed evaluation
ACM Letters on Programming Languages and Systems (LOPLAS)
A tour advisory system using a logic programming approach
ACM SIGAPP Applied Computing Review
An integrated Prolog programming environment
ACM SIGPLAN Notices
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
An integrated Prolog programming environment
ACM SIGPLAN Notices
Generating languages of solid models
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
Mechanisms for generic process support
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A logical approach to data structures
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A versatile module system for Prolog mapped to flat prolog
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Efficient reordering of C-PROLOG
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Combined use of languages in object-oriented software construction
ACM SIGPLAN OOPS Messenger
Logic programming based curriculum for high school students: the use of abstract data types
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Describing Prolog by its interpretation and compilation
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
Representing control in the presence of one-shot continuations
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Compositional parallel programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
The automatic generation of functional test vectors for Rambus designs
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Machine Learning - special issue on inductive logic programming
A hybrid procedural/deductive executive for autonomous spacecraft
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Lisp and Symbolic Computation
Rewriting of rules containing set terms in a logic data language LDL
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extending the spreadsheet interface to handle approximate quantities and relationships
CHI '85 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Knowledge-based optimal IIL generator from conventional logic circuit descriptions
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Intelligent simulation environments: identification of the basics
WSC '88 Proceedings of the 20th conference on Winter simulation
Artificial intelligence and simulation: an introduction
WSC '86 Proceedings of the 18th conference on Winter simulation
Using expert systems to select software the traffic analysis
WSC '87 Proceedings of the 19th conference on Winter simulation
The architecture of the EXODUS extensible DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Constructing three-dimensional geometric objects defined by constraints
I3D '86 Proceedings of the 1986 workshop on Interactive 3D graphics
On executable models for rule-based prototyping
ICSE '85 Proceedings of the 8th international conference on Software engineering
A technique for prototyping directly from a specification
ICSE '85 Proceedings of the 8th international conference on Software engineering
Test case generation using Prolog
ICSE '85 Proceedings of the 8th international conference on Software engineering
The Analyst—a workstation for analysis and design
ICSE '85 Proceedings of the 8th international conference on Software engineering
PROLOG applications for database design with the information center
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Storage management in a Prolog compiler
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
Performance characteristics of microcomputer Prolog implementations
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
Two-level grammar: data flow English for functional and logic programming
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
An expert system for bibliographic retrieval using Prolog
CSC '87 Proceedings of the 15th annual conference on Computer Science
Commonsense reasoning in Prolog
CSC '87 Proceedings of the 15th annual conference on Computer Science
Saving traces for Ada debugging
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Experiences in Prolog-based DFT rule checking
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A very fast prolog compiler on multiple architectures
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Expert system approach to VLSI cell design (abstract)
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Performance studies of a Prolog machine architecture
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
4DIS: a temporal framework for unifying meta-data and data evolution
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Using Java reflection to automate extension language parsing
Proceedings of the 2nd conference on Domain-specific languages
Programming Languages in Economics
Computational Economics - Special issue on programming languages
Resource-bounded Relational Reasoning: Induction and Deduction Through Stochastic Matching
Machine Learning - Special issue on multistrategy learning
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Induction of recursive transfer rules
Learning language in logic
ACM Computing Surveys (CSUR)
The lion and the unicorn met PROLOG
ACM SIGPLAN Notices
Annotations for distributed programming in logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Clairvoyant: a synthesis system for production-based specification
Readings in hardware/software co-design
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Spatial Cognition and Computation
Browsing in a loosely structured database
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
An Expert System to Automate Timing Design
IEEE Design & Test
A Distributed Prolog System with And Parallelism
IEEE Software
An Icon-Based Design Method for Prolog
IEEE Software
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Moving Selections into Linear Least Fixpoint Queries
IEEE Transactions on Knowledge and Data Engineering
Efficient Reordering of Prolog Programs
IEEE Transactions on Knowledge and Data Engineering
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
The Integration of Rule Systems and Database Systems
IEEE Transactions on Knowledge and Data Engineering
Using a Relational Database to Support Explanation in a Knowledge-Based System
IEEE Transactions on Knowledge and Data Engineering
Prolog/Rex-A Way to Extend Prolog for Better Knowledge Representation
IEEE Transactions on Knowledge and Data Engineering
A Graph-Based Data Model and its Ramifications
IEEE Transactions on Knowledge and Data Engineering
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
A Parallel Execution Model of Logic Programs
IEEE Transactions on Parallel and Distributed Systems
LDL: A Technology for the Realization of Tightly Coupled Expert Database Systems
IEEE Expert: Intelligent Systems and Their Applications
AI and Expert System Myths, Legends, and Facts
IEEE Expert: Intelligent Systems and Their Applications
Expert Design of Local Area Networks
IEEE Expert: Intelligent Systems and Their Applications
Imbedding Rule Inferencing in Applications
IEEE Expert: Intelligent Systems and Their Applications
Smart Office: Design of an Intelligent Environment
IEEE Intelligent Systems
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
A Superjoin Algorithm for Deductive Databases
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Logical Decision Rules: Teaching C4.5 to Speak Prolog
IDEAL '00 Proceedings of the Second International Conference on Intelligent Data Engineering and Automated Learning, Data Mining, Financial Engineering, and Intelligent Agents
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Prolog for imperative programmers
Journal of Computing Sciences in Colleges
Social theory and agent architectures: prospective issues in rapid-discovery social science
Social Science Computer Review
Machine vision for the inspection of natural products
Pattern driven lazy reduction: A unifying evaluation mechanism for functional and logic programs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A formal design verification system based on an automated reasoning system
DAC '84 Proceedings of the 21st Design Automation Conference
The future of programming—whither APL?
APL '84 Proceedings of the international conference on APL
Application of axiomatic methods to a specification analyser
ICSE '84 Proceedings of the 7th international conference on Software engineering
Expression evaluation in the icon programming language
LFP '84 Proceedings of the 1984 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
Mod-PROLOG, a modular, microcomputer oriented PROLOG
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
ILEX an intelligent relational database system
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
An environment for logic programming
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
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
Automation of simulation model generation from system specifications
WSC '84 Proceedings of the 16th conference on Winter simulation
Knowledge representation and inference control of SPERIL-II
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
A logic interpreter to handle time and negation in logic data bases
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Parallel algorithms for unification and other complete problems in p
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
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
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
Automatic Detection of Design Problems in Object-Oriented Reengineering
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
NATURAL EXPERT: a commercial functional programming environment
Journal of Functional Programming
Sophia: an Information Plane for networked systems
ACM SIGCOMM Computer Communication Review
Aggregation in the NL-generator of the Visual and Natural language Specification Tool
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Cooking up referring expressions
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Eliminating unwanted loops in Prolog
ACM SIGPLAN Notices
ACM SIGCSE Bulletin
Multi-Modal Definite Clause Grammar
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
COLING '86 Proceedings of the 11th coference on Computational linguistics
Déduction automatique et systèmes transformationnels
COLING '86 Proceedings of the 11th coference on Computational linguistics
CRITAC: a Japanese text proofreading system
COLING '86 Proceedings of the 11th coference on Computational linguistics
A PROLOG implementation of Government-Binding Theory
COLING '86 Proceedings of the 11th coference on Computational linguistics
Generating English paraphrases from formal relational calculus expressions
COLING '86 Proceedings of the 11th coference on Computational linguistics
Implementing the generalized word order grammars of Chomsky and Diderichsen
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Inference of termination conditions for numerical loops in Prolog
Theory and Practice of Logic Programming
Generating FSMs from interworkings
Distributed Computing
Automating the implementation of Kalman filter algorithms
ACM Transactions on Mathematical Software (TOMS)
Using certified policies to regulate E-commerce transactions
ACM Transactions on Internet Technology (TOIT)
Toward computational description of written Polish: Warsaw University, Poland
ACM SIGART Bulletin
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Deductive mathematical databases: a case study
SSDBM'1990 Proceedings of the 5th international conference on Statistical and Scientific Database Management
InfoSpect: using a logic language for system health monitoring in distributed systems
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Lazy functional programming in Java
ACM SIGPLAN Notices
Cognitive architectures and general intelligent systems
AI Magazine - Special issue on achieving human-level AI through integrated systems and research
Learning Recursive Control Programs from Problem Solving
The Journal of Machine Learning Research
Software architecture using fine-grained event-driven reactive components
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Ontologies and reasoning techniques for (legal) intelligent information retrieval systems
Artificial Intelligence and Law
IRS-III: A broker-based approach to semantic Web services
Web Semantics: Science, Services and Agents on the World Wide Web
TriangleVision: A Toy Visual System
ICANN '08 Proceedings of the 18th international conference on Artificial Neural Networks, Part I
The computational power and complexity of constraint handling rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Really arguing with your computer in natural language
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Two WAM Implementations of Action Rules
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Amalgamating multiple programming paradigms in Prolog
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Formal specification of an adaptable personal learning environment using prolog
MSIADU '09 Proceedings of the 1st ACM SIGMM international workshop on Media studies and implementations that help improving access to disabled users
Constrained rationality: formal goals-reasoning approach to strategic decision & conflict analysis
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Clairvoyant: a synthesis system for production-based specification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Integrating the two main inference modes of NKRL, transformations and hypotheses
Journal on Data Semantics IV
Artificial Intelligence in Medicine
Computer Languages
Using XQuery for problem solving
Software—Practice & Experience
Knowledge-Based graph exploration analysis
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Generative design in architecture using an expert system
The Visual Computer: International Journal of Computer Graphics
| Hi-index | 0.08 |