PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Some comments on “Pitfalls in Prolog Programming”
ACM SIGPLAN Notices
An experimental computer architecture supporting expert systems and logic programming
IBM Journal of Research and Development
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Formal representation of a conceptual knowledge model for a database based expert system
SIGCPR '85 Proceedings of the twenty-first annual conference on Computer personnel research
APL '86 Proceedings of the international conference on APL
Journal of the ACM (JACM)
Feature analysis of Turbo Prolog
ACM SIGPLAN Notices
A grammar rule notation translator
ACM SIGPLAN Notices
An exemplary approach to the education of rule-based languages
ACM SIGCSE Bulletin
Implementation of a high-speed Prolog interpreter
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
ACM SIGART Bulletin
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Architecture of high performance integrated Prolog processor IPP
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
ACM Transactions on Database Systems (TODS)
MS-DOS Prolog implementations revisited
ACM SIGPLAN Notices
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
A denotational semantics for Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
A useful extension to Prolog's definite clause grammar notation
ACM SIGPLAN Notices
A retrieval model incorporating hypertext links
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Knowledge-based assistant for colonscopy
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Set abstraction in functional and logic programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
A plea for a readable Prolog programming style
ACM SIGPLAN Notices
Towards an algebraic theory of recursion
Journal of the ACM (JACM)
A deductive database of the groups of order dividing 128
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Combining objects and relations
ACM SIGPLAN Notices
IBM Journal of Research and Development
A plan-based approach to Prolog recursion
ACM SIGCSE Bulletin
Implementation-based analysis and testing of Prolog programs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
The OODB path-method generator (PMG) using precomputed access relevance
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
A multiparadigm approach to compiler construction
ACM SIGPLAN Notices
Never mind the paradigm, what about multiparadigm languages?
ACM SIGCSE Bulletin
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Automating the detection of reusable parts in existing software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A direct execution PROLOG system
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Declaration-free type checking
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Goal-oriented programming, or composition using events, or threads considered harmful
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Equations, sets, and reduction semantics for functional and logic programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
A logical framework for design composition
Proceedings of the 22nd international conference on Software engineering
Spelling verification in prolog
ACM SIGPLAN Notices
End user touch searching for cancer therapy literature: a rule based approach
SIGIR '83 Proceedings of the 6th annual international ACM SIGIR conference on Research and development in information retrieval
Relational rule induction with CPROGO14.4: a tutorial introductuon
Relational Data Mining
Relational algebras, logic, and functional programming
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft
Autonomous Agents and Multi-Agent Systems
Cartographic Name Placement with Prolog
IEEE Computer Graphics and Applications
A Parallel Unification Machine
IEEE Micro
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Architecture Considerations for Interoperable Multi-modal Assistant Systems
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
Prolog as a simulation language
WSC '84 Proceedings of the 16th conference on Winter simulation
leanCoP: lean connection-based theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Prettyprinting styles for various languages
ACM SIGPLAN Notices
Rule-based process servers for software development environments
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Automatic analysis of descriptive texts
ANLC '83 Proceedings of the first conference on Applied natural language processing
Montagovian Definite Clause Grammar
EACL '85 Proceedings of the second conference on European chapter of the Association for Computational Linguistics
Issues in natural language access to databases from a logic programming perspective
ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
ACM SIGGRAPH Computer Graphics
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
Playing Mastermind more logically or writing Prolog more efficiently
ACM SIGART Bulletin
An Executable Prolog Semantics
ALGOL Bulletin
Declarative routing: extensible routing with declarative queries
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Standard LISP for the VAX: a provisional implementation
ACM SIGSAM Bulletin
SICIB: An Interactive Music Composition System Using Body Movements
Computer Music Journal
Extracting causal nets from databases
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
A grammar of integrity constraints in medical documentation systems
Computer Methods and Programs in Biomedicine
A high-level requirements engineering methodology for electronic system-level design
Computers and Electrical Engineering
Proving Arrow's theorem by PROLOG
Computational Economics
DeSymbol: an interpretive tool for symbolic logic
Journal of Computing Sciences in Colleges
Relations as an abstraction for BDD-based program analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge representation concepts for automated SLA management
Decision Support Systems
A Rule-Based Framework Using Role Patterns for Business Process Compliance
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Dependent advice: a general approach to optimizing history-based aspects
Proceedings of the 8th ACM international conference on Aspect-oriented software development
A Guide for Manual Construction of Difference-List Procedures
Applications of Declarative Programming and Knowledge Management
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
LCF-style Platform based on Multiway Decision Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
An abstract reachability approach by combining HOL induction and multiway decision graphs
Journal of Computer Science and Technology
Connectionist theory refinement: genetically searching the space of network topologies
Journal of Artificial Intelligence Research
Prolog/Exl, an inference engine which explains both yes and no answers
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
"Logal": algorithmic control structures for Prolog
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 1
Prolog extensions based on tableau calculus
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A framework for network modeling in Prolog
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
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
Efficiency considerations on built-in taxonomic reasoning in Prolog
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Planning and executing office procedures in project ASPERA
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The architecture of the FAIM-1 symbolic multiprocessing system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Incremental syntactic and semantic processing
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
WSEAS Transactions on Information Science and Applications
Process Materialization Using Templates and Rules to Design Flexible Process Models
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Spider vs. Prolog: simulating Prolog in Spider
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
Executing semantic web services with a context-aware service execution agent
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Agent-oriented modelling: declarative or procedural?
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
A survey of automated deduction
Artificial intelligence today
SecureBlox: customizable secure distributed data processing
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
NuMDG: a new tool for multiway decision graphs construction
Journal of Computer Science and Technology - Special issue on natural language processing
Programming patterns for logtalk parametric objects
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
An efficient hardware implementation for AI applications
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
Multiway decision graphs reduction approach based on the HOL theorem prover
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
| Hi-index | 0.00 |