Journal of Symbolic Computation - Special issue on automatic programming
Tabled logic programming for verification and program analysis
ACM SIGSOFT Software Engineering Notes
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
SLT-Resolution for the Well-Founded Semantics
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 New Formulation of Tabled Resolution with Delay
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Proceedings of the 17th International Conference on Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Statistical Abduction with Tabulation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Parameterized Logic Programs where Computing Meets Learning
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Minimal Answer Computation and SOL
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Towards Inductive Constraint Solving
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
CL '00 Proceedings of the First International Conference on Computational Logic
Model Checking for Timed Logic Processes
CL '00 Proceedings of the First International Conference on Computational Logic
EM Learning for Symbolic-Statistical Models in Statistical Abduction
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Chasing Relational Database Constraints Backwards
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
On redundancy elimination tolerant scheduling rules
Theory and Practice of Logic Programming
Linear tabulated resolution based on Prolog control strategy
Theory and Practice of Logic Programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Semi-naive evaluation in linear tabling
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
Context-sensitive program analysis as database queries
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Automatic generation of CHR constraint solvers
Theory and Practice of Logic Programming
IEEE Intelligent Systems
Debugging schema mappings with routes
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
Linear tabling strategies and optimizations
Theory and Practice of Logic Programming
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Incorporating constraints in probabilistic XML
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending logical attack graphs for efficient vulnerability analysis
Proceedings of the 15th ACM conference on Computer and communications security
Simulation Subsumption or Déjà vu on the Web
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
High Level Thread-Based Competitive Or-Parallelism in Logtalk
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
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
Dynamic reordering of alternatives for definite logic programs
Computer Languages, Systems and Structures
Relational Models for Tabling Logic Programs in a Database
Applications of Declarative Programming and Knowledge Management
From datalog rules to efficient programs with time and space guarantees
ACM Transactions on Programming Languages and Systems (TOPLAS)
ActionScript bytecode verification with co-logic programming
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Incorporating constraints in probabilistic XML
ACM Transactions on Database Systems (TODS)
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
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
Top-down computation of the semantics of weighted fuzzy logic programs
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
The role of abduction in declarative authorization policies
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
An improved continuation call-based implementation of tabling
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
New advances in logic-based probabilistic modeling by PRISM
Probabilistic inductive logic programming
Four lessons in versatility or how query languages adapt to the web
Semantic techniques for the web
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
SecPAL: Design and semantics of a decentralized authorization language
Journal of Computer Security - Digital Identity Management (DIM 2007)
Precise complexity analysis for efficient datalog queries
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Tabled resolution + constraints: a recipe for model checking real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Small trusted primitives for dependable systems
ACM SIGOPS Operating Systems Review
DES: A Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
More efficient datalog queries: subsumptive tabling beats magic sets
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Rules and logic programming for the web
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
Symbolic support graph: a space efficient data structure for incremental tabled evaluation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Tabling in mercury: design and implementation
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Incremental evaluation of tabled prolog: beyond pure logic programs
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
A local algorithm for incremental evaluation of tabled logic programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
The language features and architecture of b-prolog
Theory and Practice of Logic Programming - Prolog Systems
Tabling for higher-order logic programming
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
A formal model of access control for mobile interactive devices
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Automatic incrementalization of prolog based static analyses
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
On improving the efficiency and robustness of table storage mechanisms for tabled evaluation
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Compiling constraint handling rules for efficient tabled evaluation
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Efficient tabling of structured data using indexing and program transformation
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Outer Joins in a Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards ontology alignment of e-business standards using OWL and F-logic
International Journal of Metadata, Semantics and Ontologies
A general implementation framework for tabled CLP
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
A Generalized QSQR Evaluation Method for Horn Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
A logic for state-modifying authorization policies
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Inference in probabilistic logic programs with continuous random variables
Theory and Practice of Logic Programming
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I
On the efficiency of query-subquery nets: an experimental point of view
Proceedings of the Fourth Symposium on Information and Communication Technology
Hi-index | 0.00 |