Parallel execution of logic programs in the framework of OR-Forest
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
VIP-MDBS: a logic multidatabase system
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Relational specifications of infinite query answers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A procedural semantics for well founded negation in logic programs
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
Inductive pebble games and the expressive power of datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Fully abstract compositional semantics for logic programs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraint logic programming languages
Communications of the ACM
Towards an open architecture for LDL
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A framework for the parallel processing of Datalog queries
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Declarative control architecture
Communications of the ACM
Modular acyclicity and tail recursion in logic programs
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the equivalence of database restructurings involving object identifiers (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
Semantics preserving transformation rules for Prolog
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Equate: an object-oriented constraint solver
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
SetLog, a tool for experimenting with new semantics
ACM SIGPLAN Notices
PAC-learnability of determinate logic programs
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Polynomial time inference of a subclass of context-free transformations
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
The impact of logic programming on databases
Communications of the ACM
Datalog expressiveness of chain queries: grammar tools and characterizations
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantic optimization: what are disjunctive residues useful for?
ACM SIGMOD Record
Explaining SLDNF resolution with non-normal defaults
IBM Journal of Research and Development
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computations at infinity: a nonstandard approach
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
A deductive database audit trail
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An integrated Prolog programming environment
ACM SIGPLAN Notices
An alternating fixpoint tailored to magic programs
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Implementation-based analysis and testing of Prolog programs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Tutorial on specialisation of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Compositional analysis of modular logic programs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Symbolic Computation - Special issue on automatic programming
A versatile module system for Prolog mapped to flat prolog
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Rule validation based on logical deduction
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Undecidable optimization problems for database logic programs
Journal of the ACM (JACM)
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Database Systems (TODS)
Denotational abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Suspension analyses for concurrent logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the occur-check-free PROLOG programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inductive logic programming and learnability
ACM SIGART Bulletin
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Decompilation: the enumeration of types and grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Linguistic instruments and qualitative reasoning for schema integration
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Query evaluation in deductive databases with alternating fixpoint semantics
ACM Transactions on Database Systems (TODS)
Sequences, Datalog and transducers
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Type analysis of logic programs in the presence of type definitions
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Towards creating specialised integrity checks through partial evaluation of meta-interpreters
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Space optimization in deductive databases
ACM Transactions on Database Systems (TODS)
The functional side of logic programming
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Tail recursion elimination in deductive databases
ACM Transactions on Database Systems (TODS)
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Heraclitus: elevating deltas to be first-class citizens in a database programming language
ACM Transactions on Database Systems (TODS)
Logic programming and constraint logic programming
ACM Computing Surveys (CSUR)
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
The meaning of negative premises in transition system specifications
Journal of the ACM (JACM)
Optimization and relaxation in constraint logic languages
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Machine Learning - special issue on inductive logic programming
Generalization of Clauses Relative to a Theory
Machine Learning - special issue on inductive logic programming
A framework for implementing hypothetical queries
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Towards declarative GIS analysis
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Some arguments about legal arguments
Proceedings of the 6th international conference on Artificial intelligence and law
Reducing nondeterminism while specializing logic programs
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Parallel Scheme Using the Divide-and-Conquer Method
Distributed and Parallel Databases
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Controlling generalization and polyvariance in partial deduction of normal logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Complexity of nonrecursive logic programs with complex values
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Learning first order universal Horn expressions
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
On the decidability and axiomatization of query finiteness in deductive databases
Journal of the ACM (JACM)
Hardness Results for Learning First-Order Representations and Programming by Demonstration
Machine Learning - Special issue on the ninth annual conference on computational theory (COLT '96)
Providing semantics for indefinite deductive databases
Proceedings of the seventh international conference on Information and knowledge management
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
What can knowledge representation do for semi-structured data?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Declarative workflows that support easy modification and dynamic browsing
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Polynomial time query processing in temporal deductive databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On a generalized notion of mistake bounds
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
Separate-and-Conquer Rule Learning
Artificial Intelligence Review
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Context interchange: new features and formalisms for the intelligent integration of information
ACM Transactions on Information Systems (TOIS)
An alternative transformation rule for logic programs
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Compile-time memory reuse in logic programming languages through update in place
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
The locality principle and completeness in logic programming
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
On quantitative measurement of negation in logic programming
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Incremental querying in the concurrent CLP language IFD-Constraint Pandora
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
A coordination language for collective agent based systems: GroupLog
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Learning Function-Free Horn Expressions
Machine Learning - The Eleventh Annual Conference on computational Learning Theory
Resource-bounded Relational Reasoning: Induction and Deduction Through Stochastic Matching
Machine Learning - Special issue on multistrategy learning
Refining Numerical Constants in First Order Logic Theories
Machine Learning - Special issue on multistrategy learning
Multistrategy Theory Revision: Induction and Abductionin INTHELEX
Machine Learning - Special issue on multistrategy learning
Token-Templates and Logic Programs for Intelligent Web Search
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
A precise type analysis of logic programs
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Continuations for parallel logic programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
ACM Transactions on Computational Logic (TOCL)
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking
ACM Transactions on Software Engineering and Methodology (TOSEM)
An introduction to inductive logic programming and learning language in logic
Learning language in logic
Learning log-linear models on constraint-based grammars for disambiguation
Learning language in logic
Induction of recursive transfer rules
Learning language in logic
Journal of Intelligent Information Systems
Termination proofs for logic programs with tabling
ACM Transactions on Computational Logic (TOCL)
Personalizing E-commerce applications with on-line heuristic decision making
Proceedings of the 10th international conference on World Wide Web
A logical framework for reasoning about access control models
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Functional and constraint logic programming
Constraints in computational logics
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
An extended transformation approach to inductive logic programming
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Flexible support for multiple access control policies
ACM Transactions on Database Systems (TODS)
Lying versus refusal for known potential secrets
Data Engineering
Polynomial-time learnability of logic programs with local variables from entailment
Theoretical Computer Science - Algorithmic learning theory
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Path dependent analysis of logic programs
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
The accepting power of unary string logic programs
Theoretical Computer Science
Loop checks for logic programs with functions
Theoretical Computer Science
Reasoning about nonlinear system identification
Artificial Intelligence
The Branching-Time Transformation Technique for Chain Datalog Programs
Journal of Intelligent Information Systems
Regular Tree Languages as an Abstract Domain in Program Specialisation
Higher-Order and Symbolic Computation
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Agents dealing with time and uncertainty
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Parameter Estimation in Stochastic Logic Programs
Machine Learning
Planning with natural actions in the situation calculus
Logic-based artificial intelligence
Logic-based artificial intelligence
An introduction to inductive logic programming
Relational Data Mining
Approximate reasoning by similarity-based SLD resolution
Theoretical Computer Science
Precise pair-sharing analysis of logic programs
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A generic operator over discrete time intervals
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Optimal unification and learning algorithms for categorial grammars
Fundamenta Informaticae
PathLog: a query language for schemaless databases of partially labeled objects
Fundamenta Informaticae
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Fixed point theorems in logic programming
Annals of Mathematics and Artificial Intelligence
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
A continuum of discrete systems
Annals of Mathematics and Artificial Intelligence
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Using clausal deductive databases for defining semantics in disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
Algorithmic Debugging and Hypothetical Reasoning
Automated Software Engineering
Automated Software Engineering
The Automated Refinement of a Requirements Domain Theory
Automated Software Engineering
Compatibility of Systems of Linear Constraints over the Set of Natural Numbers
Cybernetics and Systems Analysis
Negation as Failure as Resolution
Constraints
Discovering Robust Knowledge from Databases that Change
Data Mining and Knowledge Discovery
A Correct Logic Programming Computation of Default Logic Extensions
Journal of Automated Reasoning
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion
Journal of Automated Reasoning
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
Journal of Automated Reasoning
Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case
Journal of Automated Reasoning
SLT-Resolution for the Well-Founded Semantics
Journal of Automated Reasoning
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
Partial Instantiation Methods for Inference in First-Order Logic
Journal of Automated Reasoning
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Journal of Heuristics
Pushing extrema aggregates to optimize logic queries
Information Systems
Learning closed horn expressions
Information and Computation
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
Artificial Intelligence
Algorithms for Testing Satisfiability Formulas
Artificial Intelligence Review
A logical framework for reasoning about access control models
ACM Transactions on Information and System Security (TISSEC)
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
Protecting deductive databases from unauthorized retrieval and update requests
Data & Knowledge Engineering - Data and applications security
On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
Ordering and Path Constraints over Semistructured Data
Journal of Intelligent Information Systems
Autonomous Agents and Multi-Agent Systems
Theoretical Computer Science
An introduction to deductive database languages and systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Classification and Compilation of Linear Recursive Queries in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
Linearizing Some Recursive Logic Programs
IEEE Transactions on Knowledge and Data Engineering
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Data Partition and Parallel Evaluation of Datalog Programs
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Security Constraint Processing in a Multilevel Secure Distributed Database Management System
IEEE Transactions on Knowledge and Data Engineering
Mapping Datalog Program Execution to Networks of Processors
IEEE Transactions on Knowledge and Data Engineering
WFS + Branch and Bound = Stable Models
IEEE Transactions on Knowledge and Data Engineering
Foundations of Secure Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic
IEEE Transactions on Knowledge and Data Engineering
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Semantics, Consistency, and Query Processing of Empirical Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Implementation of Tabled Evaluation with Delaying in Prolog
IEEE Transactions on Knowledge and Data Engineering
Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Generalized Production Rules as a Basis for Integrating Active and Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Efficient Recursive Aggregation and Negation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Dynamic Programming in Datalog with Aggregates
IEEE Transactions on Knowledge and Data Engineering
Semantic Query Optimization for Query Plans of Heterogeneous Multidatabase Systems
IEEE Transactions on Knowledge and Data Engineering
Query Languages for Sequence Databases: Termination and Complexity
IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Declarative Programs with Implicit Implications
IEEE Transactions on Knowledge and Data Engineering
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
Derived types and taxonomic constraints in conceptual modeling
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Mind change complexity of learning logic programs
Theoretical Computer Science
A formalism for representing and reasoning with linguistic information
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
Inductive Learning in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Consistent Answers from Integrated Data Sources
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Proceedings of the 17th International Conference on Logic Programming
A Multi-adjoint Logic Approach to Abductive Reasoning
Proceedings of the 17th International Conference on Logic Programming
Proving Correctness and Completeness of Normal Programs - A Declarative Approach
Proceedings of the 17th International Conference on Logic Programming
On Decidability and Complexity of Description Logics with Uniqueness Constraints
ICDT '01 Proceedings of the 8th International Conference on Database Theory
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Access Control for Deductive Databases by Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Fixpoint Semantics for Reasoning about Finite Failure
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Inferring Termination Conditions for Logic Programs Using Backwards Analysis
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Implementation of a Linear Tabling Mechanism
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
How to Incorporate Negation in a Prolog Compiler
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Semantics-Based Filtering: Logic Programming's Killer App?
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Type-Based XML Processing in Logic Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Coral++: Adding Object-Orientation to a Logic Database Language
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Integrating the Completion and the Well Founded Semantics
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Indeed: Interactive Deduction on Horn Clause Theories
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Abduction in Logic Programming
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 I
Higher-Order Computational Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
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
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Search and Optimization Problems in Datalog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Taxonomies and Derivation Rules in Conceptual Modeling
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Data Integration under Integrity Constraints
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Design for Change: Evolving Workflow Specifications in ULTRAflow
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Multistrategy Learning of Rules for Automated Classification of Cultural Heritage Material
ICADL '02 Proceedings of the 5th International Conference on Asian Digital Libraries: Digital Libraries: People, Knowledge, and Technology
Proof Techniques for Cryptographic Protocols
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Logical Update Queries as Open Nested Transactions
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Controlled Query Evaluation for Known Policies by Combining Lying and Refusal
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Well-Typed Logic Programs Are not Wrong
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
A Framework for Analysis of Typed Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Disjunctive Logic Program = Horn Program + Control Program
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Semantics of Partial-Order Programs
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Combining Introspection and Communication with Rationality and Reactivity in Agents
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Testing the Equivalence of Logic Programs under Stable Model Semantics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
An Infinite-Valued Semantics for Logic Programs with Negation
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Characterizations of Classes of Programs by Three-Valued Operators
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Refining Logic Theories under OI-Implication
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Discovering Geographic Knowledge: The INGENS System
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Logic-Based Approach to Semistructured Data Retrieval
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
A Logic Framework for the Integration of Databases
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Cooperation of Multiple Strategies for Automated Learning in Complex Environments
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Extending Disjunctive Logic Programming by T-norms
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Linear Tabulated Resolutions for the Well-Founded Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Annotated Semantics for Defeasible Deontic Reasoning
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
A Logic Programming Framework for Rough Sets
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
An Induction Algorithm Based on Fuzzy Logic Programming
PAKDD '99 Proceedings of the Third Pacific-Asia Conference on Methodologies for Knowledge Discovery and Data Mining
Monotonic and Residuated Logic Programs
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Label Semantics: A Formal Framework for Modeling with Words
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
TRBAC: A Temporal Authorization Model
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
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
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Pos(T): Analyzing Dependencies in Typed Logic Programs
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Theoretical Foundation of Program Synthesis by Equivalent Transformation
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Equivalent Transformation by Safe Extension of Data Structures
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Reexecution-Based Analysis of Logic Programs with Delay Declarations
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Generalized Quantifiers in Logic Programs
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
A Foundation for Hybrid Knowledge Bases
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Specialising Logic Programs with Respect to Call?Post Specifications
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Improving Homeomorphic Embedding for Online Termination
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A Formal Framework for Synthesis and Verification of Logic Programs
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Equivalence in Answer Set Programming
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Correct Object-Oriented Systems in Computational Logic
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
A Framework for Developing Embeddable Customized Logics
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Mind Change Complexity of Learning Logic Programs
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Learning Range Restricted Horn Expressions
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Reuse of Results in Termination Analysis of Typed Logic Programs
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Parameterizing a Groundness Analysis of Logic Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Backward Type Inference Generalises Type Checking
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
An Improved Constraint-Based System for the Verification of Security Protocols
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Contextual Rules for Text Analysis
CICLing '01 Proceedings of the Second International Conference on Computational Linguistics and Intelligent Text Processing
Stratified Partial-Order Logic Programming
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
SALSA: A Language for Search Algorithms
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Isoinitial Semantics for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Semantics of Input-Consuming Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Logic, Knowledge Representation, and Bayesian Decision Theory
CL '00 Proceedings of the First International Conference on Computational Logic
Accessing Data Integration Systems through Conceptual Schemas
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Data Protection by Logic Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Default Reasoning with Specificity
CL '00 Proceedings of the First International Conference on Computational Logic
Perfect Model Checking via Unfold/Fold Transformations
CL '00 Proceedings of the First International Conference on Computational Logic
Addressing the Qualification Problem in FLUX
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Learning from Entailment of Logic Programs with Local Variables
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Logical Aspects of Several Bottom-Up Fittings
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Scalability Issues in Inductive Logic Programming
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses
DS '98 Proceedings of the First International Conference on Discovery Science
A General Theory of Deduction, Induction, and Learning
DS '01 Proceedings of the 4th International Conference on Discovery Science
An Efficient Derivation for Elementary Formal Systems Based on Partial Unification
DS '01 Proceedings of the 4th International Conference on Discovery Science
Combining Divide-and-Conquer and Separate-and-Conquer for Efficient and Effective Rule Induction
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Some Properties of Invers Resolution in Normal Logic Programs
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
A New Algorithm for Learning Range Restricted Horn Expressions
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Inverse Entailment in Nonmonotonic Logic Programs
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Adaptive Bayesian Logic Programs
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Classifying Uncovered Examples by Rule Stretching
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Control Structures of Rule-Based Agent Languages
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Addressing Efficiency Issues During the Process of Integrity Maintenance
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Answering Queries by Semantic Caches
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
On Implementation of Tree Synchronized Languages
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Logic Programming and Co-inductive Definitions
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
A Method for Change Computation in Deductive Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
On the Expressive Power of Data Integration Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
A relevance restriction strategy for automated deduction
Artificial Intelligence
Development reuse and the logic program derivation of two string-matching algorithms
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
New Generation Computing
On the Graph Traversal and Linear Binary-Chain Programs
IEEE Transactions on Knowledge and Data Engineering
Abstract specialization and its applications
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
I-SATCHMORE: an improvement of A-SATCHMORE
Journal of Computer Science and Technology
Data and knowledge in database systems: deductive databases
Handbook of data mining and knowledge discovery
Data mining tasks and methods: Rule discovery: inductive logic programming approaches
Handbook of data mining and knowledge discovery
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Cross-fertilizing logic programming and XML for knowledge representation
Knowledge media in healthcare
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
Design and implementation of a string database query language
Information Systems - Special issue: Data management in bioinformatics
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
"-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems
CSB '02 Proceedings of the IEEE Computer Society Conference on Bioinformatics
A Logic-based Knowledge Representation for Authorization with Delegation
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A Logical Framework for Reasoning on Data Access Control Policies
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A new framework for declarative programming
Theoretical Computer Science
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)
Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
Between Well-Founded Semantics and Stable Model Semantics
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Meta-circular abstract interpretation in prolog
The essence of computation
Principles of inverse computation and the Universal resolving algorithm
The essence of computation
Homeomorphic embedding for online termination of symbolic methods
The essence of computation
Flexible security policies in SQL
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
An Analysis-Revision Cycle to Evolve Requirements Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
New Generation Computing
Three-Valued Constructive Logic and Logic Programs
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
ViMer: a visual debugger for mercury
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Efficient fixpoint computation in linear tabling
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
A dynamic approach to characterizing termination of general logic programs
ACM Transactions on Computational Logic (TOCL)
Retrieval of semistructured Web data
Intelligent exploration of the web
Path Dependent Analysis of Logic Programs
Higher-Order and Symbolic Computation
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
Query transformations for improving the efficiency of ilp systems
The Journal of Machine Learning Research
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
Modeling and querying web data: a constraint-based logic approach
Information modeling for internet applications
Flexible access control policy specification with constraint logic programming
ACM Transactions on Information and System Security (TISSEC)
A framework for program development based on schematic proof
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Multi-relational data mining: an introduction
ACM SIGKDD Explorations Newsletter
Scalability and efficiency in multi-relational data mining
ACM SIGKDD Explorations Newsletter
An automated reasoning for diagnostic knowledge in a distributed environment
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Mathematical Structures in Computer Science
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Proceedings of the 2004 ACM symposium on Applied computing
Semantic information preprocessing for natural language interfaces to databases
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
A framework for the integration of partial evaluation and abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data integration under integrity constraints
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Graphs and colorings for answer set programming with preferences
Fundamenta Informaticae
Applications of intuitionistic logic in Answer Set Programming
Theory and Practice of Logic Programming
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
A logic-based approach to data integration
Theory and Practice of Logic Programming
Properties of Input-Consuming Derivations
Theory and Practice of Logic Programming
Chain programs for writing deterministic metainterpreters
Theory and Practice of Logic Programming
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
An effective fixpoint semantics for linear logic programs
Theory and Practice of Logic Programming
Verifying termination and error-freedom of logic programs with block declarations
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
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Journal of Logic, Language and Information
A symmetrical approach to parsing and generation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Learning semantic-level information extraction rules by type-oriented ILP
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
A framework for linguistic modelling
Artificial Intelligence
Transformations of logic programs with goals as arguments
Theory and Practice of Logic Programming
Neural-symbolic intuitionistic reasoning
Design and application of hybrid intelligent systems
Improving Performance of Heterogeneous Agents
Annals of Mathematics and Artificial Intelligence
Termination of simply moded logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
A lazy narrowing calculus for declarative constraint programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
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
Semi-naive evaluation in linear tabling
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Making assumptions in the automated derivation
Information Sciences: an International Journal
A geometric interpretation of LD-resolution
Theoretical Computer Science - Logic, semantics and theory of programming
Pluggable verification modules: an extensible protection mechanism for the JVM
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Composing schema mappings: second-order dependencies to the rescue
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Symmetric structure in logic programming
Journal of Computer Science and Technology
Beyond proof-of-compliance: security analysis in trust management
Journal of the ACM (JACM)
Use of correctness assertions in declarative diagnosis
Proceedings of the 2005 ACM symposium on Applied computing
Mode-directed preferences for logic programs
Proceedings of the 2005 ACM symposium on Applied computing
Self-tuning resource aware specialisation for prolog
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Optimization with mode-directed preferences
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
Higher-Order and Symbolic Computation
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
Autonomous Agents and Multi-Agent Systems
A method for symbolic analysis of security protocols
Theoretical Computer Science
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
Minds and Machines
Machine Learning
Nontermination inference of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Termination of Floating-Point Computations
Journal of Automated Reasoning
Position paper: a comparison of two modelling paradigms in the Semantic Web
Proceedings of the 15th international conference on World Wide Web
A context-free superset approximation of unification-based grammars
New developments in parsing technology
SEDatalog: a set extension of datalog
Intelligent information processing II
An abductive framework for a-priori verification of web services
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Poly-controlled partial evaluation
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Temporal stratification tests for linear and branching-time deductive databases
Theoretical Computer Science
Complexity parameters for first order classes
Machine Learning
Negative ordered hyper-resolution as a proof procedure for disjunctive logic programming
Fundamenta Informaticae
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
Theoretical Computer Science
Modeling QoS characteristics in WSMO
Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006)
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
Using parametric set constraints for locating errors in CLP programs
Theory and Practice of Logic Programming
Using an automatic marking system for programming courses
Proceedings of the 34th annual ACM SIGUCCS fall conference: expanding the boundaries
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
ACM Transactions on Computational Logic (TOCL)
Journal of Management Information Systems - Special section: Toward a theory of business process change management
The Diagnosis Frontend of the dlv system
AI Communications
Termination analysis of logic programs through combination of type-based norms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Quantitative Disjunctive Logic Programming: semantics and computation
AI Communications
Journal of Parallel and Distributed Computing
Skeptical Reasoning in FC-Normal Logic Programs is Π^1_1-complete
Fundamenta Informaticae
A Generalization Model Based on OI-implication for Ideal Theory Refinement
Fundamenta Informaticae - Intelligent Systems
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
Non-Clausal Reasoning with Definite Theories
Fundamenta Informaticae
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
A Multiple-Clause Folding Rule Using Instantiation and Generalization
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
A Constructive semantic characterization of aggregates in answer set programming
Theory and Practice of Logic Programming
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Quasi-terminating logic programs for ensuring the termination of partial evaluation
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Poly-controlled partial evaluation in practice
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A Study on the Practicality of Poly-Controlled Partial Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
Learning Horn Expressions with LOGAN-H
The Journal of Machine Learning Research
Proceedings of the 12th ACM symposium on Access control models and technologies
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
Controlled query evaluation with open queries for a decidable relational submodel
Annals of Mathematics and Artificial Intelligence
On marrying ontological and metamodeling technical spaces
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Incremental learning and concept drift in INTHELEX
Intelligent Data Analysis
On marrying ontological and metamodeling technical spaces
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Merging rule-based belief databases
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
World news finder: how we cope without the semantic web
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
A Logical Formulation of Probabilistic Spatial Databases
IEEE Transactions on Knowledge and Data Engineering
Data sharing through query translation in autonomous sources
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
XCentric: logic programming for XML processing
Proceedings of the 9th annual ACM international workshop on Web information and data management
A comparison of two modelling paradigms in the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
A practical type analysis for verification of modular prolog programs
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Artificial Intelligence Review
Modeling epistemic knowledge about users
ACS'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 7
Improving precision of type analysis using non-discriminative union
Theory and Practice of Logic Programming
Nexcel, a deductive spreadsheet
The Knowledge Engineering Review
Xcellog: A deductive spreadsheet system
The Knowledge Engineering Review
Annals of Mathematics and Artificial Intelligence
Adding background knowledge to formal concept analysis via attribute dependency formulas
Proceedings of the 2008 ACM symposium on Applied computing
Foundations of Modal Deductive Databases
Fundamenta Informaticae
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Towards the formalization of knowledge representation
Math'04 Proceedings of the 5th WSEAS International Conference on Applied Mathematics
Reasoning with recursive loops under the PLP framework
ACM Transactions on Computational Logic (TOCL)
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Totally correct logic program transformations via well-founded annotations
Higher-Order and Symbolic Computation
Efficient and flexible access control via Jones-optimal logic program specialisation
Higher-Order and Symbolic Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inferring precise polymorphic type dependencies in logic programs
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
RELATIONAL DATA MINING AND ILP FOR DOCUMENT IMAGE UNDERSTANDING
Applied Artificial Intelligence
ACM Transactions on Information and System Security (TISSEC)
Flexible hardware-software cooperation system with HwModule board and co-design framework by ET
ACACOS'08 Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science
Extension of the Top-Down Data-Driven Strategy to ILP
Inductive Logic Programming
Learning Recursive Patterns for Biomedical Information Extraction
Inductive Logic Programming
Towards Learning Non-recursive LPADs by Transforming Them into Bayesian Networks
Inductive Logic Programming
Towards Automating Simulation-Based Design Verification Using ILP
Inductive Logic Programming
Minimal Distance-Based Generalisation Operators for First-Order Objects
Inductive Logic Programming
Induction of Fuzzy and Annotated Logic Programs
Inductive Logic Programming
Relational Sequence Alignments and Logos
Inductive Logic Programming
The Complexity of Translating BLPs to RMMs
Inductive Logic Programming
A Reasoning Framework for Rule-Based WSML
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators
IWINAC '07 Proceedings of the 2nd international work-conference on The Interplay Between Natural and Artificial Computation, Part I: Bio-inspired Modeling of Cognitive Tasks
Measuring the Interpretive Cost in Fuzzy Logic Computations
WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
Rough Sets and Approximation Schemes
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Exact Learning of Finite Unions of Graph Patterns from Queries
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
Finding Most Probable Worlds of Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Dynamic Meta-level Access Control in SQL
Proceeedings of the 22nd annual IFIP WG 11.3 working conference on Data and Applications Security
Towards Relational Inconsistent Databases with Functional Dependencies
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Parameter Learning in Probabilistic Databases: A Least Squares Approach
ECML PKDD '08 Proceedings of the 2008 European Conference on Machine Learning and Knowledge Discovery in Databases - Part I
Rules and Ontologies for the Semantic Web
Reasoning Web
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence
Fuzzy Linguistic Logic Programming
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence
Scaling Most Probable World Computations in Probabilistic Logic Programs
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Electronic Notes in Theoretical Computer Science (ENTCS)
A Heuristic Approach to P2P Negotiation
Computational Logic in Multi-Agent Systems
Oracle-Based Partial Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Flexible Model for Locating Services on the Web
International Journal of Electronic Commerce
Rule Interchange Format: The Framework
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Programming with Fuzzy Logic Rules by Using the FLOPER Tool
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Framework for Semantic Sensor Network Services
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
Logic-Based Program Synthesis and Transformation
Just Add Weights: Markov Logic for the Semantic Web
Uncertainty Reasoning for the Semantic Web I
Discovery and Uncertainty in Semantic Web Services
Uncertainty Reasoning for the Semantic Web I
An Interactive Driver for Goal-directed Proof Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Properties of General Semantic Operators Determined by Logic-Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Efficient Execution of ProbLog Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Approximation Schemes in Logic and Artificial Intelligence
Transactions on Rough Sets IX
A General Similarity Framework for Horn Clause Logic
Fundamenta Informaticae
Dynamic reordering of alternatives for definite logic programs
Computer Languages, Systems and Structures
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
Fuzzy Sets and Systems
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
Fast Offline Partial Evaluation of Large Logic Programs
Logic-Based Program Synthesis and Transformation
On Negative Unfolding in the Answer Set Semantics
Logic-Based Program Synthesis and Transformation
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Constraint Handling Rules
P-stable models of strong kernel programs
Journal of Algorithms
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Consistency property of finite FC-normal logic programs
Journal of Computer Science and Technology
On Generalizing the AGM Postulates
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Multi-agent agreements about actions through argumentation
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Autoepistemic Theory and Paraconsistent Logic Program
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Learning directed probabilistic logical models: ordering-search versus structure-search
Annals of Mathematics and Artificial Intelligence
Decompilation of Java bytecode to Prolog by partial evaluation
Information and Software Technology
On the Declarative Semantics of Multi-Adjoint Logic Programs
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Towards a Type Discipline for Answer Set Programming
Types for Proofs and Programs
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Modeling Interpretive Steps in Fuzzy Logic Computations
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Intelligent Processing of an Unrestricted Text in First Order String Calculus
Transactions on Computational Science V
A declarative semantics for Bousi~Prolog
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Non-discriminating Arguments and Their Uses
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Answer Set Programming with Constraints Using Lazy Grounding
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A New Approach to Non-termination Analysis of Logic Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Quasi-Classical Model Semantics for Logic Programs --- A Paraconsistent Approach
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
An inference model for semantic entailment in natural language
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
A graph theoretical foundation for integrating RDF ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Reasoning about attribute authenticity in a web environment
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
RHB+: a type-oriented ILP system learning from positive data
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Integrating explanatory and descriptive learning in ILP
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Generalization of clauses under implication
Journal of Artificial Intelligence Research
Least generalizations and greatest specializations of sets of clauses
Journal of Artificial Intelligence Research
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research
Pac-learning recursive logic programs: efficient algorithms
Journal of Artificial Intelligence Research
Pac-learning recursive logic programs: negative results
Journal of Artificial Intelligence Research
A tractable class of abduction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A metalogic programming approach to reasoning about time in knowledge bases
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Strategies in rigid-variable methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
On mining closed sets in multi-relational data
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Equality elimination for the inverse method and extension procedures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Optimality in goal-dependent analysis of sharing
Theory and Practice of Logic Programming
Fuzzy linguistic logic programming and its applications
Theory and Practice of Logic Programming
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Semantic model for induction of first order theories
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
How the statistical revolution changes (computational) linguistics
ILCL '09 Proceedings of the EACL 2009 Workshop on the Interaction between Linguistics and Computational Linguistics: Virtuous, Vicious or Vacuous?
Relational learning via propositional algorithms: an information extraction case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Covering vs divide-and-conquer for top-down induction of logic programs
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Efficient parameterizable type expansion for typed feature formalisms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Top-down induction of first-order logical decision trees
Artificial Intelligence
Formal concept analysis with background knowledge: attribute priorities
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews - Special issue on information reuse and integration
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Event relations in plan-based plot composition
Computers in Entertainment (CIE) - SPECIAL ISSUE: Games
Automated theorem proving for general game playing
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Generalized first order decision diagrams for first order Markov decision processes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Computer Languages, Systems and Structures
An ILP System for Learning Head Output Connected Predicates
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Semantic Rule-Based Complex Event Processing
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Specifying Valid Compound Terms in Interrelated Faceted Taxonomies
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
A Data Model for Fuzzy Linguistic Databases with Flexible Querying
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Unfolding-based Improvements on Fuzzy Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
On fuzzy unfolding: A multi-adjoint approach
Fuzzy Sets and Systems
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Theory and Practice of Logic Programming
Termination prediction for general logic programs
Theory and Practice of Logic Programming
The subsumption lattice and query learning
Journal of Computer and System Sciences
Supervising offline partial evaluation of logic programs using online techniques
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Justification based on program transformation
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
A fixed point semantics for logic programs extended with cuts
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Program generation in the equivalent transformation computation model using the squeeze method
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
An abstract interpretation approach to termination of logic programs
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
On the alternation-free horn µ-calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Proceedings of the 2nd international conference on Semantics in databases
Towards unifying semantic constraints and security constraints
Proceedings of the 2nd international conference on Semantics in databases
Soft constraints and heuristic constraint correction in entity-relationship modelling
Proceedings of the 2nd international conference on Semantics in databases
Semantic classifications of queries to relational databases
Proceedings of the 2nd international conference on Semantics in databases
Introduction to part III: decision support by advanced logic programming
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Connecting databases with argumentation
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Constraint solving over OCR graphs
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
ALCPu: an integration of description logic and general rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Towards a general framework for data mining
KDID'06 Proceedings of the 5th international conference on Knowledge discovery in inductive databases
Skolem machines and geometric logic
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Coinductive logic programming and its applications
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Automatic binding-related error diagnosis in logic programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Automatic correctness proofs for logic program transformations
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A consequence finding approach for full clausal abduction
DS'07 Proceedings of the 10th international conference on Discovery science
A fixpoint approach to state generation for stratifiable disjunctive deductive databases
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Forgetting in logic programs with ordered disjunction
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Purpose-aware reasoning about interoperability of heterogeneous training systems
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
An alternative foundation for DeLP: defeating relations and truth values
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
A transformation-based approach to view updating in stratifiable deductive databases
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Learning to order: a relational approach
MCD'07 Proceedings of the 3rd ECML/PKDD international conference on Mining complex data
Modeling cooperation in P2P data management systems
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
OWL-S atomic services composition with SWRL rules
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Pure, declarative, and constructive arithmetic relations (declarative pearl)
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
A generalization of the folding rule for the Clark-Kunen semantics
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Journal on data semantics X
Probabilistic inductive logic programming
Probabilistic inductive logic programming
Probabilistic inductive logic programming
Basic principles of learning Bayesian logic programs
Probabilistic inductive logic programming
The independent choice logic and beyond
Probabilistic inductive logic programming
A taxonomy of theorem-proving strategies
Artificial intelligence today
A declarative agent programming language based on action theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Extracting reduced logic programs from artificial neural networks
Applied Intelligence
The foundations of DeLP: defeating relations, games and truth values
Annals of Mathematics and Artificial Intelligence
Querying incomplete data over extended er schemata
Theory and Practice of Logic Programming
Transformations of logic programs on infinite lists
Theory and Practice of Logic Programming
Semantic Web computing in industry
Computers in Industry
Maintaining consistency in a stratified production system program
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Terminological cycles in KL-ONE-based knowledge representation languages
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Cryptographic limitations on learning one-clause logic programs
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning precisely with vague concepts
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Representing actions and state constraints in model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Annotated probabilistic temporal logic
ACM Transactions on Computational Logic (TOCL)
The transformational approach to program development
A 25-year perspective on logic programming
Logic programming languages for databases and the web
A 25-year perspective on logic programming
An open platform for business process modeling and verification
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
A relational approach for discovering frequent patterns with disjunctions
DaWaK'10 Proceedings of the 12th international conference on Data warehousing and knowledge discovery
Modular logic programming for web data, inheritance and agents
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Neuro-symbolic representation of logic programs defining infinite sets
ICANN'10 Proceedings of the 20th international conference on Artificial neural networks: Part I
Modelling digital libraries based on logic
ECDL'10 Proceedings of the 14th European conference on Research and advanced technology for digital libraries
Extensional higher-order logic programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Discovering robust knowledge from dynamic closed-world data
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Automatic revision of metabolic networks through logical analysis of experimental data
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Speculative abductive reasoning for hierarchical agent systems
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
A dialogue games framework for the operational semantics of logic agent-oriented languages
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Defeasibility in answer set programs via argumentation theories
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Toward a uniform cause-based approach to inconsistency-tolerant database semantics
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Cost-based query answering in action probabilistic logic programs
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Managing adaptivity in web collaborative processes using policies and user profiles
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
On enumerating frequent closed patterns with key in multi-relational data
DS'10 Proceedings of the 13th international conference on Discovery science
A practical management of fuzzy truth-degrees using FLOPER
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Intelligent Data Analysis - Ubiquitous Knowledge Discovery
SAOR: template rule optimisations for distributed reasoning over 1 billion linked data triples
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Adding integrity constraints to the semantic web for instance data evaluation
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
S.cerevisiae complex function prediction with modular multi-relational framework
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part III
Coalgebraic semantics for parallel derivation strategies in logic programming
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A general multi-relational classification approach using feature generation and selection
ADMA'10 Proceedings of the 6th international conference on Advanced data mining and applications - Volume Part II
Information Sciences: an International Journal
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
Efficient local unfolding with ancestor stacks*
Theory and Practice of Logic Programming
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Theory and Practice of Logic Programming
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
A logic-based modeling and verification of CPS
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
PLINI: a probabilistic logic program framework for inconsistent news information
Logic programming, knowledge representation, and nonmonotonic reasoning
Proceedings of the 5th ACM international conference on Distributed event-based system
On inductive proofs by extended unfold/fold transformation rules
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Non-termination analysis of logic programs using types
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Argumentation-based fault diagnosis for home networks
Proceedings of the 2nd ACM SIGCOMM workshop on Home networks
Combining OWL ontology and schema annotations in metadata management
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I
Tarski's principle, categorial grammars and learnability
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
A sound semantics for a similarity-based logic programming language
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Fuzzy computed answers collecting proof information
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Handling exceptions in logic programming without negation as failure
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Declarative traces into fuzzy computed answers
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
A flexible XPath-based query language implemented with fuzzy logic programming
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
A RIF-style semantics for ruleML-integrated positional-slotted, object-applicative rules
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web 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
Querying semantically enriched business processes
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence
Infinite computation, co-induction and computational logic
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Coalgebraic semantics for derivations in logic programming
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
BPM'11 Proceedings of the 9th international conference on Business process management
Inconsistency-tolerant integrity checking based on inconsistency metrics
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Plugging numeric similarity in first-order logic horn clauses comparison
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Probabilistic rule learning in nonmonotonic domains
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Decision-theoretic planning with generalized first-order decision diagrams
Artificial Intelligence
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Probabilistic relational planning with first order decision diagrams
Journal of Artificial Intelligence Research
International Journal of Artificial Intelligence and Soft Computing
Trust Put to the Test: A Testcase for a Cognitive Trust Model
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Loglinear models for first-order probabilistic reasoning
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Hybrid probabilistic programs: algorithms and complexity
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Extended rules in knowledge-based data access
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Aggregates and priorities in P2P data management systems
Proceedings of the 15th Symposium on International Database Engineering & Applications
Techniques for scaling up analyses based on pre-interpretations
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Polynomial interpretations as a basis for termination analysis of logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Automated reasoning support for first-order ontologies
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Resolution-Based approximate reasoning for OWL DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Nonmonotonic reasoning in FLORA-2
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Mode-directed fixed point computation
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Abstract interpretation with specialized definitions
SAS'06 Proceedings of the 13th international conference on Static Analysis
TildeCRF: conditional random fields for logical sequences
ECML'06 Proceedings of the 17th European conference on Machine Learning
An incremental approach to abstraction-carrying code
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Modeling of the vocational suggestion with restrictions (graph theory approach)
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
About declarative semantics of logic-based agent languages
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
OWL2Jess: a transformational implementation of the OWL semantics
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications
An inference model for semantic entailment in natural language
MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
Representing Bayesian networks within probabilistic horn abduction
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
A class of prolog programs with non-linear outputs inferable from positive data
ALT'05 Proceedings of the 16th international conference on Algorithmic Learning Theory
A fixed-point semantics for plausible logic
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Transformational verification of parameterized protocols using array formulas
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Removing superfluous versions in polyvariant specialization of prolog programs
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Non-leftmost unfolding in partial evaluation of logic programs with impure predicates
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Converting one type-based abstract domain to another
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Learnability of simply-moded logic programs from entailment
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Semantic search in the World News domain using automatically extracted metadata files
Knowledge-Based Systems
The predicate-minimizing logic MIN
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
VeriFLog: a constraint logic programming approach to verification of website content
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Detecting determinacy in prolog programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Reduced certificates for abstraction-carrying code
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Proving properties of constraint logic programs by eliminating existential variables
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
The semantics of nominal logic programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Deductive spreadsheets using tabled logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Reasoning, Action and Interaction in AI Theories and Systems
Reducing the inferred type statements with individual grouping constructs
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Deciding full branching time logic by program transformation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
On inductive and coinductive proofs via unfold/fold transformations
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Coinductive logic programming with negation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
A discrete event control based on EVALPSN stable model computation
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
First-Order patterns for information integration
ICWE'05 Proceedings of the 5th international conference on Web Engineering
On generalization and subsumption for ordered clauses
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
A possibilistic inconsistency handling in answer set programming
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Theory and Practice of Logic Programming - Prolog Systems
Uncertainty management in logic programming: simple and effective top-down query answering
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
To see the wood for the trees: mining frequent tree patterns
Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
License protection with a tamper-resistant token
WISA'04 Proceedings of the 5th international conference on Information Security Applications
Searching semantically equivalent code fragments in logic programs
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Efficient local unfolding with ancestor stacks for full prolog
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Constructive specifications for compositional units
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Input-termination of logic programs
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Controlled query evaluation with open queries for a decidable relational submodel
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Learning rules from multisource data for cardiac monitoring
AIME'05 Proceedings of the 10th conference on Artificial Intelligence in Medicine
Automatic induction of abduction and abstraction theories from observations
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Logical bayesian networks and their relation to other probabilistic logical models
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Deriving a stationary dynamic bayesian network from a logic program with recursive loops
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
From logic programs updates to action description updates
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Exploiting sparsity in polyhedral analysis
SAS'05 Proceedings of the 12th international conference on Static Analysis
Towards provably correct code generation via horn logical continuation semantics
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation
ACM Transactions on Computational Logic (TOCL)
An SLD-resolution calculus for basic serial multimodal logics
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A framework for reasoning with rough sets
Transactions on Rough Sets IV
Rule-Based modeling of transcriptional attenuation at the tryptophan operon
Transactions on Computational Systems Biology XII
Possibilistic semantics for logic programs with ordered disjunction
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A taxonomy of some right-to-left string-matching algorithms
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Programming with fuzzy logic and mathematical functions
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Reasoning about epistemic states of agents by modal logic programming
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Specification and verification of agent interaction using abductive reasoning
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Analyzing pathways using ASP-based approaches
ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology
Information-based distance measures and the canonical reflection of view updates
Annals of Mathematics and Artificial Intelligence
A note on the relationships between logic programs and neural networks
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Strictly level-decreasing logic programs
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Multivalued mappings, fixed-point theorems and disjunctive databases
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
A new approach to inferences of semantic constraints
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
First order action logic: an approach for modeling the communication process between agents
CM'96 Proceedings of the First international conference on Communication Modeling: The language/action perspective
Formal development of correct classes in computational logic
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
On continuous models of computation: towards computing the distance between (logic) programs
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Automated verification of state sequence invariants in general game playing
Artificial Intelligence
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Sorted hyper-predicate knowledge bases for ontologies and rules
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Concurrency and backtracking in Vienna Parallel Logic
Computer Languages
Branching-time logic programming: the language Cactus and its applications
Computer Languages
Computer Languages
Semantics of well-moded input-consuming logic programs
Computer Languages
A formal specification of document processing
Mathematical and Computer Modelling: An International Journal
Mathematical and Computer Modelling: An International Journal
Focused most probable world computations in probabilistic logic programs
Annals of Mathematics and Artificial Intelligence
Logic Programs, Norms and Action
Logical approaches to authorization policies
Logic Programs, Norms and Action
Coinductive constraint logic programming
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Fundamenta Informaticae - Logic, Language, Information and Computation
A General Similarity Framework for Horn Clause Logic
Fundamenta Informaticae
Fundamenta Informaticae - Machines, Computations and Universality, Part I
A Generalized QSQR Evaluation Method for Horn Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Improved termination analysis of CHR using self-sustainability analysis
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Proving properties of co-logic programs by unfold/fold transformations
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
An equational approach to logic programming
Correct Reasoning
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Rough Sets and Learning by Unification
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Constraints for service contracts
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Probabilistic multi-context systems
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Conflict, consistency and truth-dependencies in graph representations of answer set logic programs
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Generation of test data structures using constraint logic programming
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Compactness Properties for Stable Semantics of Logic Programs
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
A Multiple-Clause Folding Rule Using Instantiation and Generalization
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
Fundamenta Informaticae
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Goal-directed execution of answer set programs
Proceedings of the 14th symposium on Principles and practice of declarative programming
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
Optimal Unification and Learning Algorithms for Categorial Grammars
Fundamenta Informaticae
PathLog: a Query Language for Schemaless Databases of Partially Labeled Objects
Fundamenta Informaticae
Skeptical Reasoning in FC-Normal Logic Programs is Π^1_1-complete
Fundamenta Informaticae
A Generalization Model Based on OI-implication for Ideal heory Refinement
Fundamenta Informaticae - Intelligent Systems
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
Non-Clausal Reasoning with Definite Theories
Fundamenta Informaticae
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
Fundamenta Informaticae
Quasi-Metrics And The Semantics Of Logic Programs
Fundamenta Informaticae
Partial Structural Synthesis of Programs
Fundamenta Informaticae
Unification: Nothing but the Solution of a System of Linear Equations
Fundamenta Informaticae
SYNTACTIC ELEMENTS OF DECLARATIVE PROGRAMMING: SYMBOLIC LINEAR EQUATIONS
Fundamenta Informaticae
ON SETS OF TERMS: A STUDY OF A GENERALISATION RELATION AND OF ITS ALGORITHMIC PROPERTIES
Fundamenta Informaticae
Meta-variables in Logic Programming, or in Praise of Ambivalent Syntax
Fundamenta Informaticae
Fundamenta Informaticae
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations
Fundamenta Informaticae
Logic Programming from the Perspective of Algebraic Semantics
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
Reachability In Some Classes Of Acyclic Petri Nets
Fundamenta Informaticae
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
Top-Down Parsing With Simultaneous Evaluation Of Noncircular Attribute Grammars
Fundamenta Informaticae
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Dealing with explicit preferences and uncertainty in answer set programming
Annals of Mathematics and Artificial Intelligence
Possibilistic reasoning in multi-context systems: preliminary report
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Processing incomplete temporal information in controlled natural language
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Information-Gathering events in story plots
ICEC'12 Proceedings of the 11th international conference on Entertainment Computing
Neural networks for proof-pattern recognition
ICANN'12 Proceedings of the 22nd international conference on Artificial Neural Networks and Machine Learning - Volume Part II
Reasoning about knowledge in distributed systems using datalog
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Ontology evolution: assisting query migration
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
A delayed splitting bottom-up procedure for model generation
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems
Expert Systems with Applications: An International Journal
A Computational Logic Application Framework for Service Discovery and Contracting
International Journal of Web Services Research
Correctness of solving query-answering problems using satisfiability solvers
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
Parallel Abductive Query Answering in Probabilistic Logic Programs
ACM Transactions on Computational Logic (TOCL)
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Extensional Higher-Order Logic Programming
ACM Transactions on Computational Logic (TOCL)
Event recognition for assisted independent living
Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments
Extending the power of datalog recursion
The VLDB Journal — The International Journal on Very Large Data Bases
Programming with personalized pagerank: a locally groundable first-order probabilistic logic
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Annotating "Fuzzy chance degrees" when debugging XPath queries
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advences in computational intelligence - Volume Part II
Rule revision in normal DL logic programs
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
Exploiting domain knowledge to detect outliers
Data Mining and Knowledge Discovery
Mining closed patterns in relational, graph and network data
Annals of Mathematics and Artificial Intelligence
Proving Theorems by Program Transformation
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
A Logic Framework for Incremental Learning of Process Models
Fundamenta Informaticae
Approximation reasoning models based on random variables sequence
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Exploiting Parallelism in Coalgebraic Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
On the tractability of minimal model computation for some CNF theories
Artificial Intelligence
Hi-index | 0.06 |