Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A resolution principle for constrained logics
Artificial Intelligence
Representing incomplete knowledge in abductive logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Negation and constraint logic programming
Information and Computation
Defeasible deontic reasoning: a logic programming model
Deontic logic in computer science
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
Heterogeneous active agents, I: semantics
Artificial Intelligence
Logic-based artificial intelligence
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Towards an organizational model for agent societies using contracts
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Introduction to Multiagent Systems
Introduction to Multiagent Systems
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Design, Implementation, and Evaluation of the Constraint Language cc(FD)
Design, Implementation, and Evaluation of the Constraint Language cc(FD)
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Speculative Computation by Abduction under Incomplete Communication Environments
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
Analyzing security protocols with secrecy types and logic programs
Journal of the ACM (JACM)
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
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
Mapping deontic operators to abductive expectations
Computational & Mathematical Organization Theory
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Security protocols verification in abductive logic programming: a case study
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
The logical way to be artificially intelligent
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Argumentation in the Semantic Web
IEEE Intelligent Systems
Web Service Contracting: Specification and Reasoning with SCIFF
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Computational Logic in Multi-Agent Systems
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Constraint Handling Rules
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Integrating Abduction and Constraint Optimization in Constraint Handling Rules
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Theory and Practice of Logic Programming
A rule-based approach for reasoning about collaboration between smart web services
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Inducing declarative logic-based models from labeled traces
BPM'07 Proceedings of the 5th international conference on Business process management
Applying inductive logic programming to process mining
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
An overview of AI research in Italy
Artificial intelligence
A 25-year perspective on logic programming
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
25 years of applications of logic programming in Italy
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
Declarative technologies for open agent systems and beyond
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Role monitoring in open agent societies
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Probabilistic declarative process mining
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Elements of a business-level architecture for multiagent systems
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Autonomous Agents and Multi-Agent Systems
Annals of Mathematics and Artificial Intelligence
An interaction-oriented agent framework for open environments
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Fuzzy conformance checking of observed behaviour with expectations
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Event condition expectation (ECE-) rules for monitoring observable systems
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Annals of Mathematics and Artificial Intelligence
Analysis of the GLARE and GPROVE approaches to clinical guidelines
KR4HC'09 Proceedings of the 2009 AIME international conference on Knowledge Representation for Health-Care: data, Processes and Guidelines
Social commitments in time: satisfied or compensated
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Detecting exceptions in commitment protocols: discovering hidden states
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Detecting conflicts in commitments
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
A retrospective on the reactive event calculus and commitment modeling language
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Deon+: abduction and constraints for normative reasoning
Logic Programs, Norms and Action
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
A Computational Logic Application Framework for Service Discovery and Contracting
International Journal of Web Services Research
The CHR-based Implementation of the SCIFF Abductive System
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
| Hi-index | 0.00 |
SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with a semantics based on abductive logic programming; SCIFF's operational component is a new abductive logic programming proof procedure, also named SCIFF, for reasoning with expectations in dynamic environments. In this article we present the declarative and operational semantics of the SCIFF language, and the termination, soundness, and completeness results of the SCIFF proof procedure, and we demonstrate SCIFF's possible application in the multiagent domain.