Knowledge systems: Principles and practice
IBM Journal of Research and Development
Positivism vs minimalism in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A generalised data base interface for APL
APL '86 Proceedings of the international conference on APL
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Decidability and expressiveness aspects of logic queries
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient interpretation of Prolog programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
A necessary condition for a doubly recursive rule to be equivalent to a linear recursive rule
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Oblog-2: A hybrid knowledge representation system for defeasible reasoning
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
Unfold/fold transformations and loop optimization of logic programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
IEEE Transactions on Software Engineering
Deduction Graphs: An Algorithm and Applications
IEEE Transactions on Software Engineering
Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGPLAN Notices
Journal of Symbolic Computation
On the relationship of congruence closureand unification
Journal of Symbolic Computation
On distributed processibility of datalog queries by decomposing databases
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Algorithms for Constructing Minimal Deduction Graphs
IEEE Transactions on Software Engineering
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An interpreter for large knowledge bases
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Journal of Symbolic Computation
Linearization of Nonlinear Recursive Rules
IEEE Transactions on Software Engineering
Knowledge representation for commonsense reasoning with text
Computational Linguistics
Towards Banishing the Cut from Prolog
IEEE Transactions on Software Engineering
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
The physiology of PROLOG expert system inference engine
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
STP: a simple theorem prover for IBM-PC compatible computers
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Mixing abstract and concrete modules: specification, development and prototyping
ICSE '90 Proceedings of the 12th international conference on Software engineering
Functional dependencies in Horn clause queries
ACM Transactions on Database Systems (TODS)
A fully abstract semantics for a first-order functional language with logic variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
LLO: an object-oriented deductive language with methods and method inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Nested relation based database knowledge representation
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A methodology for detecting shared variable dependencies in logic programs
Journal of Symbolic Computation
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
Communications of the ACM
STORK and PENGUIN: logic programming systems using general clauses and defaults
IBM Journal of Research and Development
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
A strategy for transforming generate and test logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
Differential logic programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Symbolic Computation - Special issue on automatic programming
Towards a unified visual database access
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Bayesian inductive logic programming
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Inductive logic programming: derivations, successes and shortcomings
ACM SIGART Bulletin
Agent language NUML and its reduction implementation model based on HO&pgr;
ACM SIGPLAN Notices
Semantic query processing in object-oriented databases using deductive approach
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Principles and practice of unification factoring
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Database Systems (TODS)
A parallel implementation of cost-based abductive reasoning
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Learning logic programs by using the product homomorphism method
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The specification and enforcement of authorization constraints in workflow management systems
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
An axiomatic basis for general discrete-event modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
Rewriting of rules containing set terms in a logic data language LDL
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimizing existential datalog queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Explicit control of logic programs through rule algebra
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database updates in logic programming
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
An experimental performance study of a pipelined recursive query processing strategy
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Using domain knowledge in knowledge discovery
Proceedings of the eighth international conference on Information and knowledge management
Logic programming in LISP with controlled search (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Executing specifications of distributed computations with Chronolog(MC)
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Regulating service access and information release on the Web
Proceedings of the 7th ACM conference on Computer and communications security
A modular approach to composing access control policies
Proceedings of the 7th ACM conference on Computer and communications security
ACM SIGOPS Operating Systems Review
TRBAC: A temporal role-based access control model
ACM Transactions on Information and System Security (TISSEC)
Caching constrained mobile data
Proceedings of the tenth international conference on Information and knowledge management
An algebra for composing access control policies
ACM Transactions on Information and System Security (TISSEC)
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Preference logic grammars: fixed point semantics and application to data standardization
Artificial Intelligence
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Foundations of distributed interaction systems
Annals of Mathematics and Artificial Intelligence
Approximating the Semantics of Logic Programs by Recurrent Neural Networks
Applied Intelligence
The Connectionist Inductive Learning and Logic Programming System
Applied Intelligence
Scaling Up Inductive Logic Programming: An Evolutionary Wrapper Approach
Applied Intelligence
SALSA: A Language for Search Algorithms
Constraints
Data Mining and Knowledge Discovery
A Study of Two Sampling Methods for Analyzing Large Datasets with ILP
Data Mining and Knowledge Discovery
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
Fixed-parameter complexity of semantics for logic programs
ACM Transactions on Computational Logic (TOCL)
A uniform framework for regulating service access and information release on the web
Journal of Computer Security
The glue-nail deductive database system: design, implementation, and evaluation
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
Using a Relational Database to Support Explanation in a Knowledge-Based System
IEEE Transactions on Knowledge and Data Engineering
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
LDL: A Technology for the Realization of Tightly Coupled Expert Database Systems
IEEE Expert: Intelligent Systems and Their Applications
Logic Approaches for Deductive Databases
IEEE Expert: Intelligent Systems and Their Applications
Reliability Measure Theory: A Nonmonotonic Semantics
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Avoiding Misconstruals in Database Systems: A Default Logic Approach
IEEE Transactions on Knowledge and Data Engineering
Avoiding Misconstruals in Database Systems: A Default Logic Approach
IEEE Transactions on Knowledge and Data Engineering
A New Formulation of Tabled Resolution with Delay
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
An Object-Oriented Approach for Designing Administrative E-forms and Transactional E-services
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Fixed-point semantics and the representation of algorithms on large data
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Least Generalization under Relative Implication
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Parameterized Logic Programs where Computing Meets Learning
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
A Case Study in Using Preference Logic Grammars for Knowledge Representations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Semantics of Anonymous Identity and Reification
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Propositional Satisfiability in Answer-Set Programming
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
EM Learning for Symbolic-Statistical Models in Statistical Abduction
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
How to Make SQL Stand for String Query Language
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Processing Negation in NL Interfaces to Knowledge Bases
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Reasoning with Open Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Termination of well-typed logic programs
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Refutable language learning with a neighbor system
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Approximating the success set of logic programs using constrained regular types
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
Controlled Query Evaluation for Known Policies by Combining Lying and Refusal
Annals of Mathematics and Artificial Intelligence
ACM SIGKDD Explorations Newsletter
Model checking mobile ambients
Theoretical Computer Science
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation
IEEE Transactions on Knowledge and Data Engineering
Computing with features as formulae
Computational Linguistics
Constraint projection: an efficient treatment of disjunctive feature descriptions
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Declarative semantics for active rules
Theory and Practice of Logic Programming
Enhancing the expressive power of the U-Datalog language
Theory and Practice of Logic Programming
Herbrand theorems in arbitrary institutions
Information Processing Letters
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
Reasoning with infinite stable models
Artificial Intelligence
Localization of integrity constraints in mobile databases and specification in PRO-MOTION
Mobile Networks and Applications
A Framework of Fuzzy Diagnosis
IEEE Transactions on Knowledge and Data Engineering
Counting for Satisfiability by Inverting Resolution
Artificial Intelligence Review
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
Annals of Mathematics and Artificial Intelligence
Supporting conditional delegation in secure workflow management systems
Proceedings of the tenth ACM symposium on Access control models and technologies
The Knowledge Engineering Review
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Checking query containment with the CQC method
Data & Knowledge Engineering
The relation of Lorenzen calculus to formal language theory
ACM SIGSAM Bulletin
PRL: A probabilistic relational language
Machine Learning
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Artificial Intelligence
Generalized domination in closure systems
Discrete Applied Mathematics - Special issue: Discrete mathematics & data mining II (DM & DM II)
A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
New Generation Computing
Agent-oriented probabilistic logic programming
Journal of Computer Science and Technology - Special section on China AVS standard
Checking content consistency of integrated web documents
Journal of Computer Science and Technology - Special section on China AVS standard
A three-valued semantics for logic programmers
Theory and Practice of Logic Programming
The Diagnosis Frontend of the dlv system
AI Communications
Information retrieval and machine learning for probabilistic schema matching
Information Processing and Management: an International Journal
Connectionist modal logic: Representing modalities in neural networks
Theoretical Computer Science
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
Rough Sets and Learning by Unification
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Formal Properties of Needed Narrowing with Similarity Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Functional dependencies in logic programs
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Linear tabling strategies and optimizations
Theory and Practice of Logic Programming
Convergence and fixed points by fuzzy orders
Fuzzy Sets and Systems
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
Declarative programming for verification: lessons and outlook
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Connectionist model generation: A first-order approach
Neurocomputing
Connectionist weighted fuzzy logic programs
Neurocomputing
Compactness Properties for Stable Semantics of Logic Programs
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Concurrency, Graphs and Models
Extending logical attack graphs for efficient vulnerability analysis
Proceedings of the 15th ACM conference on Computer and communications security
Fuzzy matchmaking in e-marketplaces of peer entities using Datalog
Fuzzy Sets and Systems
Composing Normal Programs with Function Symbols
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On finitely recursive programs1
Theory and Practice of Logic Programming
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
An Inductive Logic Programming Approach to Statistical Relational Learning
Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning
Advanced Policy Explanations on the Web
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Probabilistic modelling, inference and learning using logical theories
Annals of Mathematics and Artificial Intelligence
Modeling Semantic Web Services with the Web Service Modeling Toolkit
Journal of Network and Systems Management
Logic-Based Probabilistic Modeling
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Credulous resolution for answer set programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Building and refining abstract planning cases by change of representation language
Journal of Artificial Intelligence Research
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
A sequential view of AND-parallelism through partial AND-processes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Conspiracy numbers and caching for searching and/or trees and theorem-proving
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Logic programming with general clauses and defaults based on model elimination
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A theoretical framework for consistency techniques in logic programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A fully connectionist model generator for covered first-order logic programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Constructive second-order proofs in logical databases
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Representing diagnostic knowledge for probabilistic Horn abduction
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning with infinite stable models
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
OI-implication: soundness and refutation completeness
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Artificial Intelligence
A framework for distributed mediation of temporal-abstraction queries to clinical databases
Artificial Intelligence in Medicine
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Generalized domination in closure systems
Discrete Applied Mathematics - Special issue: Discrete mathematics & data mining II (DM & DM II)
Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation
A declarative specification and semantics for visual languages
Journal of Visual Languages and Computing
Query containment under bag and bag-set semantics
Information Processing Letters
Combining logic programs and monadic second order logics by program transformation
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Using domain knowledge in ILP to discover protein functional models
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Learning with feature description logics
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Revision of first-order Bayesian classifiers
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Reformulation for extensional reasoning
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Fuzzy constraint logic programming with answer set semantics
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
On finitely recursive programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Learning hereditary and reductive prolog programs from entailment
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
A decidable subclass of finitary programs
Theory and Practice of Logic Programming
On the adequateness of the connection method
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
ATANLP '10 Proceedings of the 2010 Workshop on Applications of Tree Automata in Natural Language Processing
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Logic programming and uncertainty
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Deciding satisfiability of positive second order joinability formulae
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
RDFBroker: a signature-based high-performance RDF store
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Disjunctive constraint lambda calculi
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Agent-Oriented probabilistic logic programming with fuzzy constraints
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Handling inconsistencies in data warehouses
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Character-Based cladistics and answer set programming
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
A provably correct compiler for efficient model checking of mobile processes
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
How agents should exploit tetralemma with an eastern mind in argumentation
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Solving first order formulae of pseudo-regular theory
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
Compiling constraint handling rules for efficient tabled evaluation
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Ternary simulation: refinement of binary functions or abstraction of real-time behaviour?
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
A controlling scheme for Prolog through count terms
Computer Languages
Constructive Boolean circuits and the exactness of timed ternary simulation
Formal Methods in System Design
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
Inductive logic programming in answer set programming
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming
Stable Models for Stubborn Sets
Fundamenta Informaticae
Deciding the bisimilarity relation between datalog goals
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Representing fuzzy logic programs by graded attribute implications
MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence
Formalizing Cross-Parameter Conditions for Geoprocessing Service Chain Validation
International Journal of Applied Geospatial Research
Declarative diagnosis of floundering in prolog
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Logic programming: from underspecification to undefinedness
CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.02 |