Algorithms & data structures
Journal of the ACM (JACM)
A Simplified Format for the Model Elimination Theorem-Proving Procedure
Journal of the ACM (JACM)
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
Communications of the ACM
An efficient context-free parsing algorithm
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
The competence/performance dichotomy in programming preliminary report
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Logic for Problem Solving
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Communications of the ACM
Communications of the ACM
The early years of logic programming
Communications of the ACM
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
On the transformation of logic programs with instantiation based computation rules
Journal of Symbolic Computation
Towards an efficient evaluation of general queries: quantifier and disjunction processing revisited
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A denotational semantics for Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Use of structure-based models in the development of expert systems
ACM SIGART Bulletin
Critical Races in Ada Programs
IEEE Transactions on Software Engineering
K: a high-level knowledge base programming language for advanced database applications
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
A strategy for transforming generate and test logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Logic programming and constraint logic programming
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Proceedings of the third ACM conference on Digital libraries
Journal of the ACM (JACM)
Languages for expert system building: a comparison
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
A logic programming approach to frame-based language design
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Continuations for parallel logic programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Data-Driven and Demand-Driven Computer Architecture
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Workflow enactment with continuation and future objects
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Constraints
SALSA: A Language for Search Algorithms
Constraints
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic
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
Executable logic specifications for protocol service interfaces
IEEE Transactions on Software Engineering
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Data Mining as Constraint Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Integration of Quantifier Elimination with Constraint Logic Programming
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Implementation of an interpreter for abstract equations
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Toward the design and development of style-independent interactive systems
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A parallel Prolog: The construction of a data driven model
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Introduction to relational programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Representation of factual information by equations and their evaluation
ICSE '82 Proceedings of the 6th international conference on Software engineering
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
Nial: A candidate language for fifth generation computer systems
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Effectiveness of paradigmatic approach in teaching programming
ACM '80 Proceedings of the ACM 1980 annual conference
"Ceci n'est pas une pipe": Observations on the Nature of Webware
WSE '02 Proceedings of the Fourth International Workshop on Web Site Evolution (WSE'02)
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Methodology for designing a computer architecture
ACM SIGARCH Computer Architecture News
Classes of terminating logic programs
Theory and Practice of Logic Programming
On redundancy elimination tolerant scheduling rules
Theory and Practice of Logic Programming
TAO: a harmonic mean of Lisp, Prolog and Smalltalk
ACM SIGPLAN Notices
Graphics programming independent of interaction techniques and styles
ACM SIGGRAPH Computer Graphics
Discourse, anaphora and parsing
COLING '86 Proceedings of the 11th coference on Computational linguistics
Coordination in reconnaissance-attack parsing
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Termination of simply moded logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Polus: Growing Storage QoS Management Beyond a "4-Year Old Kid"
FAST '04 Proceedings of the 3rd USENIX Conference on File and Storage Technologies
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Application-specific models and pointcuts using a logic metalanguage
Computer Languages, Systems and Structures
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Data-flow skeleton filled with activities driven workflow design
Proceedings of the 2nd international conference on Ubiquitous information management and communication
Sketching concurrent data structures
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Activity pre-scheduling for run-time optimization of grid workflows
Journal of Systems Architecture: the EUROMICRO Journal
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Modularizing crosscuts in an e-commerce application in Lisp using HALO
Proceedings of the 2007 International Lisp Conference
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research
An algorithm that infers theories from facts
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Uniform: a language based upon unification which unifies (much of) LISP, Prolog, and Act 1
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Normality and faults in logic-based diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Logic programming for robot control
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A different kind of programming languages course
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Prolog for applications programming
IBM Systems Journal
A declarative approach to multi-layer path finding basedon semantic network descriptions
ONDM'09 Proceedings of the 13th international conference on Optical Network Design and Modeling
An SBVR Framework for RESTful Web Applications
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
A contribution to the theory and practice of cognitive prostheses
SG'03 Proceedings of the 3rd international conference on Smart graphics
Application-specific models and pointcuts using a logic meta language
ISC'06 Proceedings of the 14th international conference on Advances in smalltalk
Goal-independent suspension analysis for logic programs with dynamic scheduling
ESOP'03 Proceedings of the 12th European conference on Programming
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Polus: growing storage QoS management beyond a "four-year old kid"
FAST'04 Proceedings of the 3rd USENIX conference on File and storage technologies
Logic programming, knowledge representation, and nonmonotonic reasoning
Complex events and actions to control cyber-physical systems
Proceedings of the 5th ACM international conference on Distributed event-based system
Towards "propagation = logic + control"
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Simplified integration of Prolog with RDBMS
ACM SIGMIS Database
A pearl on SAT solving in prolog
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
A pearl on SAT and SMT solving in Prolog
Theoretical Computer Science
Semantics of well-moded input-consuming logic programs
Computer Languages
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Proceedings of the 14th symposium on Principles and practice of declarative programming
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Declarative diagnosis of floundering in prolog
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Theory propagation and rational-trees
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
A Fuzzy linguistic prolog and its applications
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 48.27 |
The notion that computation = controlled deduction was first proposed by Pay Hayes [19] and more recently by Bibel [2] and Vaughn-Pratt [31]. A similar thesis that database systems should be regarded as consisting of a relational component, which defines the logic of the data, and a control component, which stores and retrieves it, has been successfully argued by Codd [10]. Hewitt's argument [20] for the programming language PLANNER, though generally regarded as an argument against logic, can also be regarded as an argument for the thesis that algorithms be regarded as consisting of both logic and control components. In this paper we shall explore some of the useful consequences of that thesis.