Foundations of logic programming
Foundations of logic programming
OLD resolution with tabulation
Proceedings on Third international conference on logic programming
The Alexander method-a technique for the processing of recursive axioms in deductive databases
New Generation Computing
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Computing with logic: logic programming with Prolog
Computing with logic: logic programming with Prolog
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Automatic mode inference for logic programs
Journal of Logic Programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Bottom-up beats top-down for datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the power of Alexander templates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Recursive query processing: the power of logic
Theoretical Computer Science
Query evaluation in recursive databases: bottom-up and top-down reconciled
Data & Knowledge Engineering
A practical framework for the abstract interpretation of logic programs
Journal of Logic Programming
Toward the partial evaluation of CLP languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Magic templates: a spellbinding approach to logic programs
Journal of Logic Programming
Partial evaluation in logic programming
Journal of Logic Programming
Is there anything better than magic
Proceedings of the 1990 North American conference on Logic programming
A partial evaluation procedure for logic programs
Proceedings of the 1990 North American conference on Logic programming
The Mixtus approach to automatic partial evaluation of full Prolog
Proceedings of the 1990 North American conference on Logic programming
A characterization of non-floundering logic programs
Proceedings of the 1990 North American conference on Logic programming
Abstract interpretation: a kind of magic
PLILP '91 Selected papers of the symposium on Programming language implementation and logic programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
An efficient context-free parsing algorithm
Communications of the ACM
Syntax and semantics in parsing: an application to montague grammar.
Syntax and semantics in parsing: an application to montague grammar.
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Shortest path by approximation in logic programs
ACM Letters on Programming Languages and Systems (LOPLAS)
A logic programming environment for teaching mathematical concepts of computer science
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
Query caching and optimization in distributed mediator systems
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Solving shape-analysis problems in languages with destructive updating
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending partial deduction to tabled execution: some results and open issues
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
A precise type analysis of logic programs
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Loop checks for logic programs with functions
Theoretical Computer Science
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
SLT-Resolution for the Well-Founded Semantics
Journal of Automated Reasoning
An introduction to deductive database languages and systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Main Memory Orientated Optimization of OO Queries Using Typed Datalog with Foreign Predicates
IEEE Transactions on Knowledge and Data Engineering
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
Implementation of a Linear Tabling Mechanism
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A System for Tabled Constraint Logic Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Constraint Logic Programming for Local and Symbolic Model-Checking
CL '00 Proceedings of the First International Conference on Computational Logic
A front-end to deductive database systems for multiparadigm programming
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Efficient fixpoint computation in linear tabling
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
An efficient implementation of the head-corner parser
Computational Linguistics
Memoization of coroutined constraints
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
The intersection of finite state automata and definite clause grammars
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
Linear tabulated resolution based on Prolog control strategy
Theory and Practice of Logic Programming
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Semi-naive evaluation in linear tabling
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Incremental and demand-driven points-to analysis using logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Automatic generation of CHR constraint solvers
Theory and Practice of Logic Programming
Weighted pushdown systems and their application to interprocedural dataflow analysis
Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Improving precision of type analysis using non-discriminative union
Theory and Practice of Logic Programming
Linear tabling strategies and optimizations
Theory and Practice of Logic Programming
Query efficiency in probabilistic XML models
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Incorporating constraints in probabilistic XML
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Towards Vague Query Answering in Logic Programming for Logic-Based Information Retrieval
IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Incorporating constraints in probabilistic XML
ACM Transactions on Database Systems (TODS)
Research Summary: Tabled Evaluation for Transaction Logic Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A Tabling Implementation Based on Variables with Multiple Bindings
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Querying sequential and concurrent horn transaction logic programs using tabling techniques
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Optimizations and extensions for the horn transaction logic programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
Query evaluation over probabilistic XML
The VLDB Journal — The International Journal on Very Large Data Bases
Annals of Mathematics and Artificial Intelligence
Weighted pushdown systems and their application to interprocedural dataflow analysis
SAS'03 Proceedings of the 10th international conference on Static analysis
Constraint solver synthesis using tabled resolution for constraint logic programming
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Competence checking for the global e-service society using games
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
An improved continuation call-based implementation of tabling
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
A taxonomy of theorem-proving strategies
Artificial intelligence today
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling*
Theory and Practice of Logic Programming
Database foundations for scalable RDF processing
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
D2R2: disk-oriented deductive reasoning in a RISC-style RDF engine
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
A segment-swapping approach for executing trapped computations
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Computer Languages
A general implementation framework for tabled CLP
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
A Tabled Prolog Program for Solving Sokoban
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 48.22 |