Journal of the ACM (JACM)
Differential logic programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Optimizing modular logic languages
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Belief reasoning in MLS deductive databases
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Using clausal deductive databases for defining semantics in disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Semantics of Normal Logic Programs with Embedded Implications
Proceedings of the 17th International Conference on Logic Programming
A Model Theoretic Semantics for Multi-level Secure Deductive Databases
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Implementing Abstract Objects with Inheritance in Datalogneg
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Higher-Order Quantification and Proof Search
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Inheritance in a Deductive Object Database Language with Updates
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
A Higher-Order Logic Programming Language with Constraints
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
A Strong Logic Programming View for Static Embedded Implications
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
A New Module System for Prolog
CL '00 Proceedings of the First International Conference on Computational Logic
Handbook of automated reasoning
A new framework for declarative programming
Theoretical Computer Science
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
A definite clause version of Categorial Grammar
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
Providing declarative semantics for HH extended constraint logic programs
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
On logical foundations of multilevel secure databases
Journal of Intelligent Information Systems - Special issue: Database and applications security
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
ACM Transactions on Programming Languages and Systems (TOPLAS)
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
Extending LogicWeb via Hereditary Harrop Formulas
IEICE - Transactions on Information and Systems
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Translating propositional extended conjunctions of Horn clauses into Boolean circuits
Theoretical Computer Science
Higher-order logic programming languages with constraints: a semantics
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
Nested proof search as reduction in the Lambda-calculus
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
A transformational semantics of static embedded implications of normal logic programs
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Compositional semantics for the procedural interpretation of logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Goals in the propositional horn⊃ language are monotone boolean circuits
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Constructive specifications for compositional units
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Using a logic programming language with persistence and contexts
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Dynamic composition of parameterised logic modules
Computer Languages
On goal-directed provability in classical logic
Computer Languages
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
Incorporating tables into proofs
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 0.00 |