A Simple Characterization of Extended Abduction
CL '00 Proceedings of the First International Conference on Computational Logic
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
Implementation of CTL model checker update
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Program Repair Suggestions from Graphical State-Transition Specifications
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Automatic generation of local repairs for Boolean programs
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
CTL Model Update: Semantics, Computations and Implementation
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
CTL model update for system modifications
Journal of Artificial Intelligence Research
CTL model update implementation using ANTLR tools
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Foundations of Tree-like Local Model Updates
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
An optimised algorithm to tackle the model explosion problem in CTL model update
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
Local model update with an application to sliding window protocol
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
ACTL local model update with constraints
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
System design modification with actions
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Evolutionary repair of faulty software
Applied Soft Computing
Modeling the broker behavior using a BDI agent
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume II
Model repair for probabilistic systems
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Nondeterministic update of CTL models by preserving satisfaction through protections
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Journal of Computer and System Sciences
Retaining consistency in temporal knowledge bases
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
A case study for CTL model update
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A logic approach for LTL system modification
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Algorithms for CTL system modification
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Automated model repair for distributed programs
ACM SIGACT News
Least-violating control strategy synthesis with safety rules
Proceedings of the 16th international conference on Hybrid systems: computation and control
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 0.00 |