Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Skeleton-based agent development for electronic institutions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Expressing systems capabilities for knowledge coordination
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A logic-based approach for automatic synthesis and maintenance of web sites
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Proving Correctness and Completeness of Normal Programs - A Declarative Approach
Proceedings of the 17th International Conference on Logic Programming
Experiments in Parallel Execution of Answer Set Programs
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
On Termination of Meta-Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Transformation Systems and Nondeclarative Properties
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Negation as Failure through Abduction: Reasoning about Termination
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Acceptability with General Orderings
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
The Head Condition and Polymorphic Recursion
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
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
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
FST TCS 2000 Proceedings of the 20th 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
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Detecting Optimal Termination Conditions of Logic Programs
SAS '02 Proceedings of the 9th 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
An Improved Constraint-Based System for the Verification of Security Protocols
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
On Termination of Logic Programs with Floating Point Computations
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Semantics of Input-Consuming Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Binary Speed Up for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Inference of Termination Conditions for Numerical Loops in Prolog
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Multiset Constraints and P Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Termination of well-typed logic programs
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
On logic programs that always succeed
Science of Computer Programming
An expert system for credit evaluation and explanation
Journal of Computing Sciences in Colleges
Verifying web site properties using computational logic
Information modeling for internet applications
Speedup of logic programs by binarization and partial deduction
Theory and Practice of Logic Programming
Composing programs in a rewriting logic for declarative programming
Theory and Practice of Logic Programming
On modular termination proofs of general logic programs
Theory and Practice of Logic Programming
Classes of terminating logic programs
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
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
Transformations of logic programs with goals as arguments
Theory and Practice of Logic Programming
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Termination of simply moded logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Inference of termination conditions for numerical loops in Prolog
Theory and Practice of Logic Programming
Bounded Nondeterminism of Logic Programs
Annals of Mathematics and Artificial Intelligence
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
cTI: a constraint-based termination inference tool for ISO-Prolog
Theory and Practice of Logic Programming
On termination of meta-programs
Theory and Practice of Logic Programming
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
Higher-Order and Symbolic Computation
Encyclopedia of Computer Science
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
Nontermination inference of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Termination of Floating-Point Computations
Journal of Automated Reasoning
Using parametric set constraints for locating errors in CLP programs
Theory and Practice of Logic Programming
Termination analysis of logic programs through combination of type-based norms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 12th ACM symposium on Access control models and technologies
ACM Transactions on Information and System Security (TISSEC)
Operationalisation of Norms for Electronic Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Managing Conflict Resolution in Norm-Regulated Environments
Engineering Societies in the Agents World VIII
Typing Linear Constraints for Moding CLP(${\cal R}$) Programs
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Liberate Computer User from Programming
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Expressiveness of Multiple Heads in CHR
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
Logic-Based Program Synthesis and Transformation
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
Electronic Notes in Theoretical Computer Science (ENTCS)
A declarative semantics for Bousi~Prolog
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Maintaining control while delegating trust: Integrity constraints in trust management
ACM Transactions on Information and System Security (TISSEC)
Automated termination proofs for logic programs by term rewriting
ACM Transactions on Computational Logic (TOCL)
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Regular approximation and bounded domains for size-change termination
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated termination analysis for logic programs by term rewriting
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Abstract diagnosis of functional programs
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
An abstract interpretation approach to termination of logic programs
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Improving efficiency of prolog programs by fully automated unfold/fold transformation
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Core TuLiP logic programming for trust management
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Conflict resolution in norm-regulated environments via unification and constraints
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Ignoring, forcing and expecting simultaneous events in electronic institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Automated termination analysis for logic programs with cut*
Theory and Practice of Logic Programming
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Integrating induction and deduction for finding evidence of discrimination
Artificial Intelligence and Law
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Dependency triples for improving termination analysis of logic programs with cut
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Logic Java: combining object-oriented and logic programming
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
On the Expressive Power of Multiple Heads in CHR
ACM Transactions on Computational Logic (TOCL)
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Distributed norm management for multi-agent systems
Expert Systems with Applications: An International Journal
The dependency triple framework for termination of logic programs
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Combining semantic web and logic programming for agent reasoning
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
A Generalized QSQR Evaluation Method for Horn Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
A linear operational semantics for termination and complexity analysis of ISO prolog
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs
Proceedings of the 14th symposium on Principles and practice of declarative programming
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming
A hybrid reasoning mechanism for effective sensor selection for tasks
Engineering Applications of Artificial Intelligence
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |