DECReasoner


Discrete Event Calculus Reasoner {related:}

See also:

Case-based Reasoning & Dialog Systems | Deep Reasoning Systems | Graph-Based Knowledge Representation and Reasoning | HermiT Reasoner | IRIS Reasoner | Knowledge Representation and Reasoning | Metaphor-based Reasoning | RADAR (Reflective Agents with Distributed Adaptive Reasoning) | Semantic Web Reasoning 


[CITATION] Discrete Event Calculus Reasoner Documentation ET Mueller – 2008 – IBM Thomas Cited by 2 – Related articles

What’s in a feature: a requirements engineering perspective [PDF] from assembla.com A Classen, P Heymans… – … of the Theory and practice of …, 2008 – dl.acm.org … Among the available EC implementations, we chose the discrete event calculus reasoner (Decreasoner), an EC implementation by Mueller [25]. Decreasoner does model- checks on a set of EC formulae by transforming them … Cited by 47 – Related articles – BL Direct – All 5 versions

Suspicion-driven formal analysis of security requirements N Amalio – … and Technologies, 2009. SECURWARE’09. Third …, 2009 – ieeexplore.ieee.org … The approach is illustrated with the Event-Calculus temporal logic [5] and the analysis is conducted with tool support using the discrete event calculus reasoner1 (decreasoner). … For this goal, decreasoner does not find any plans. … Cited by 2 – Related articles – All 3 versions

A reasoning framework for ambient intelligence [PDF] from forth.gr T Patkos, I Chrysakis, A Bikakis… – … : Theories, Models and …, 2010 – Springer … The task of context management in an AmI environment requires an open framework to support seamless interoperability and mutual understanding of 1 Jess, http://www.jessrules.com/ 2 DECReasoner, http://decreasoner.sourceforge.net/ Page 4. 216 T. Patkos et al. … Cited by 4 – Related articles – All 14 versions

Problem-Oriented Feature Interaction Detection in Software Product Lines [PDF] from fundp.ac.be A CLASSEN – … in Software and Communication Systems IX, 2008 – books.google.com … Page 219. 206 A. Classen/Problem-Oriented Feature Interaction Detection in Software Product Lines soner (Decreasoner)[6], which basically transforms a set of event calculus formulae into a SAT problem, passes it to a SAT-solver and interprets the results. … Related articles – All 3 versions

Early identification of problem interactions: A tool-supported approach [PDF] from open.ac.uk T Tun, Y Yu, R Laney… – … Engineering: Foundation for …, 2009 – Springer … diagrams, the conjunction of all formulae for the specifications, and the nega- tion of the conjunction of the requirements formulae (as shown in the property window in Figure 4). The Event Calculus script is then fed to the off-the-shelf abductive reasoner, Decreasoner [12,13], … Cited by 3 – Related articles – All 10 versions

A Discrete Event Calculus Implementation of the OCC Theory of Emotion M Sarlej… – Workshops at the Seventh Artificial Intelligence and …, 2011 – aaai.org … description. This domain description is translated by decreasoner into a satisfiability (SAT) problem, which is then run through a standard SAT solver. … respectively. Figure 2 shows the decreasoner rules corresponding to Admiration. 59 Page 4. … Related articles – All 2 versions

Dynamic authorisation policies for event-based task delegation [PDF] from inria.fr K Gaaloul, E Zahoor, F Charoy… – Advanced Information …, 2010 – Springer … In our study, we utilise the Discrete Event Calculus Reasoner (DECReasoner2) for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. … 2 For more details: http://decreasoner.sourceforge.net/ … Cited by 5 – Related articles – All 6 versions

An event-based reasoning approach to Web services monitoring [PDF] from inria.fr E Zahoor, O Perrin… – Web Services (ICWS), 2011 …, 2011 – ieeexplore.ieee.org … Implementation architecture: The proposed approach uses the DECReasoner as the event-calculus reasoner, however as we discussed in [2], [3] the event-calculus to SAT encoding process provided by the reasoner, does not scale well. … Related articles – All 5 versions

Analysing security requirements formally and flexibly based on suspicion [PDF] from thinkmind.org N Amálio – International Journal On Advances in Security, 2010 – thinkmind.org … support. The approach is illustrated with the Event-Calculus temporal logic [10] and the analysis is conducted with tool support using the discrete event calculus reasoner1 (decreasoner). … conclusions. 1http://decreasoner.sourceforge.net/ 344 … Related articles

Event calculus and temporal action logics compared [PDF] from psu.edu ET Mueller – Artificial intelligence, 2006 – Elsevier … about action and changeFormalism ToolSituation calculus KM [3]http://www.cs.utexas.edu/users/ mfkb/km.htmlEvent calculus Event calculus planner [39]http://www.iis.ee.ic.ac.uk/~mpsha/planners. htmlDiscrete Event Calculus Reasoner [28]http://decreasoner.sourceforge.net … Cited by 7 – Related articles – All 8 versions

[PDF] Knowledge Representation and Reasoning Logics for Artificial Intelligence [PDF] from 128.205.32.53 SC Shapiro – 1995 – 128.205.32.53 … False))) Page 57 Page 58. Decreasoner, a An Efficient Model Finder On nickelback.cse.buffalo. edu or timberlake.cse.buffalo.edu, do … Page 59. Decreasoner Example Input File /projects/shapiro/ CSE563/decreasoner/examples/ShapiroCSE563/ cpwPropFindModels.e: … Cited by 2 – Related articles – View as HTML – All 10 versions

Discrete event calculus with branching time [PDF] from aaaipress.org E Mueller – 8th International Symposium on Logical Formalizations …, 2007 – aaai.org … ReleasesL(e, f, s): If event e occurs at situation s, then fluent f 1This program is available for download at http:// decreasoner.sourceforge.net/. Page 2. will be released from the commonsense law of inertia at the suc- cessor of … Cited by 4 – Related articles – All 9 versions

Ontology and time evolution of obligations and prohibitions using semantic web technology [PDF] from psu.edu N Fornara… – Declarative Agent Languages and …, 2010 – Springer … 2 http://owl.man.ac.uk/factplusplus/ 3 http://clarkparsia.com/pellet 4 http://jena.sourceforge.net/ inference/ 5 http://decreasoner.sourceforge.net 6 http://www.w3.org/Submission/SWRL/ 7 http://www.w3.org/TR/owl-time/, http://www.w3.org/2006/time.rdf Page 3. … Cited by 7 – Related articles – All 6 versions

Openargue: Supporting argumentation to evolve secure software systems [PDF] from utwente.nl Y Yu, TT Tun, A Tedeschi… – … (RE), 2011 19th …, 2011 – ieeexplore.ieee.org … user-defined rules. Reasoning about rebuttals and mitigations: OpenAr- gue is integrated with the decreasoner, an off-the-shelf reasoning tool that translates propositional formulae into problems for SAT-solvers. The integrated … Cited by 3 – Related articles – All 6 versions

Situation calculus as answer set programming [PDF] from asu.edu J Lee, R Palla – Proceedings of the AAAI Conference on Artificial …, 2010 – aaai.org … infinite domain). Copyright cO 2010, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. 1http://www.cs.utexas.edu/users/ tag/cc/ . 2http://decreasoner.sourceforge.net/ . However, in the … Cited by 1 – Related articles – All 7 versions

[PDF] Classical logic event calculus as answer set programming [PDF] from asu.edu J Lee, R Palla – Working Notes of the Workshop on Answer …, 2008 – reasoning.eas.asu.edu … Our work is motivated by Erik Mueller’s work that is available on the web- page http://decreasoner. sourceforge.net/csr/ecas/, where a few exam- ple answer set programs were used to illustrate that event calculus like reasoning can be done in answer set programming. … Cited by 1 – Related articles – View as HTML – All 2 versions

Model-based argument analysis for evolving security requirements [PDF] from open.ac.uk TT Tun, Y Yu, C Haley… – … Software Integration and …, 2010 – ieeexplore.ieee.org … E. Event Caclulus Reasoner We choose Decreasoner to implement the verification for the generated EC rules. Decreasoner translates the EC rules into SAT formulae automatically, and invokes Rel-Sat solver to check whether they are satisfiable, given the bounded time range. … Cited by 8 – Related articles – All 8 versions

Circumscriptive event calculus as answer set programming [PDF] from asu.edu TW Kim, J Lee… – Proceedings of International Joint Conference on …, 2009 – aaai.org … Our work is motivated by Mueller’s work that is available on the webpage http://decreasoner. sourceforge.net/csr/ecas/, where a few example answer set programs are given to illus- trate that event calculus like reasoning can be done using ASP solvers. … Cited by 14 – Related articles – All 11 versions

Disc: A declarative framework for self-healing web services composition [PDF] from archives-ouvertes.fr E Zahoor, O Perrin… – Web Services (ICWS), 2010 …, 2010 – ieeexplore.ieee.org … thus can be used directly for reasoning purposes. For process verification, we extended DECReasoner [8] to include zchaff as a solver and then using zverify to find the unsatisfiable core. This also serves as an example of extensibility … Cited by 4 – Related articles – All 6 versions

A declarative approach to timed-properties aware Web services composition [PDF] from inria.fr E Zahoor, O Perrin, C Godart – 2010 – hal.inria.fr … run-time violations. 6.2 Models The event calculus models discussed in this paper are presented using the discrete event calculus language [9] and the reasoner used for instantiating the models is DECReasoner. In this work … Cited by 2 – Related articles – All 5 versions

DISC-SET: Handling temporal and security aspects in the Web services composition [PDF] from archives-ouvertes.fr E Zahoor, O Perrin… – Web Services (ECOWS), 2010 …, 2010 – ieeexplore.ieee.org … On the other hand, converting all the units to a higher common format such as minutes will not allow to handle the smaller time units, such as seconds, as the DECReasoner is discrete. … The DECReasoner version 1.0 and the SAT solver, relsat-2.0/zchaff were used for reasoning. … Cited by 1 – Related articles – All 7 versions

Automating commonsense reasoning using the event calculus [PDF] from psu.edu ET Mueller – Communications of the ACM, 2009 – dl.acm.org … back to top Footnotes. a. h 0 is the object’s initial height in meters, g is the acceleration due to gravity (9.8 meters/second 2 ), and t is the elapsed time in seconds. b. http://decreasoner. sourceforge.net/. c. http://www.cs.utexas.edu/users/mfkb/km.html. d. http://www.fluxagent.org/. … Cited by 14 – Related articles – All 2 versions

[PDF] A Formal Theory for Reasoning About Action, Knowledge and Time [PDF] from xn--qxah7a.gr T Patkos – 2010 – xn--qxah7a.gr … 138 7.3.2 SAT-based DECReasoner . . . . . 141 … 164 B Source Code 167 B.1 Syntactically Extended Epistemic Fluents within DECReasoner . . . . . 167 B.2 Extending DECReasoner’s Ontology . . . . . 174 … Cited by 1 – Related articles – View as HTML – All 12 versions

Is an OWL ontology adequate for foreign software agents communication? J Bermúdez, A Goñi, A Illarramendi… – Applied Ontology, 2007 – IOS Press … A full reference for OWL syntax and semantics is available at (Patel-Schneider, Hayes & Horrocks, 2007). Here we outline 2http://decreasoner.sourceforge.net/. 3http://www.w3.org/2001/sw/. 4http://www.w3.org/Addressing/URL/URI_Overview.html. Page 6. 356 J. Bermúdez et al. … Cited by 1 – Related articles – All 2 versions

Sensing Inertial and Continuously-Changing World Features T Patkos… – Artificial Intelligence Applications and …, 2009 – Springer … |= ?xHoldsAt(Knows(PersonsNear(Rob,x)),1)? ¬?xHoldsAt(Kw(PersonsNear(Rob,x)), 2) (4.1) 2 Sample code for the DEC Reasoner tool (http://decreasoner.sourceforge.net/) is available at http://www.csd.uoc.gr/~patkos/deckt.htm Page 8. … Cited by 1 – Related articles – All 3 versions

[PDF] ÉCOLE DOCTORALE IAEM [PDF] from inria.fr E ZAHOOR – hal.inria.fr … 123 9.3 Enhancements to DECReasoner . . … The proposed approach uses the DECReasoner as the event-calculus reasoner, however as we discussed in [Zahoor 2010a, Zahoor 2010b] the event-calculus to SAT encoding process provided by the reasoner, does not scale well. … View as HTML

Gouvernance de service: aspects sécurité et données [PDF] from inria.fr E Zahoor – 2011 – hal.inria.fr … 123 9.3 Enhancements to DECReasoner . . … The proposed approach uses the DECReasoner as the event-calculus reasoner, however as we discussed in [Zahoor 2010a, Zahoor 2010b] the event-calculus to SAT encoding process provided by the reasoner, does not scale well. …

Ludocore: A logical game engine for modeling videogames [PDF] from ucsc.edu AM Smith, MJ Nelson… – … Intelligence and Games ( …, 2010 – ieeexplore.ieee.org … This trace inference is in fact more expressive than forward-search based methods such as Monte Carlo rollouts; for example, it can definitively prove certain properties of a game, rather than simply showing that they are unlikely. 1http://decreasoner.sourceforge.net/csr/ecas/ III. … Cited by 10 – Related articles – All 8 versions

[PDF] Implementing and experimenting with answer set programming based event calculus reasoner [PDF] from asu.edu TW Kim – Unpublished master’s thesis, Arizona …, 2009 – reasoning.wikispaces.asu.edu … Fig. 1. Discrete Event Calculus Reasoner System The following domain description (Yale3.e) shows the Yale Shooting problem in the input language of the DEC reasoner: 2http://decreasoner. sourceforge.net/. Page 22. 15 ; Yale3.e load foundations/Root.e … Cited by 1 – Related articles – View as HTML – All 2 versions

[PDF] Epistemic Reasoning for Ambient Intelligence [PDF] from uoc.gr T Patkos… – 2011 – csd.uoc.gr … no)) (multislot posLtrs ) (multislot negLtrs ) (slot time (default 0))) 2Jess, http://www.jessrules.com/ 3DECReasoner, http://decreasoner.sourceforge.net/ Multislots represent lists denoting disjunction of fluents (conjunctions are … Cited by 1 – Related articles – View as HTML

[PDF] TOWARD AN EXPERIMENTAL COGNITIVE ROBOTICS FRAMEWORK [PDF] from uni-bremen.de M Bhatt – cindy.informatik.uni-bremen.de … ET Mueller. Discrete event calculus reasoner. In System Documentation, IBM Thomas J. Watson Research Center, 2007. URL http://decreasoner.sourceforge. net/. DA Randell, Z. Cui, and A. Cohn. A spatial logic based on regions and connection. In KR’92. … Related articles – View as HTML – All 2 versions

Web service mining and verification of properties: An approach based on event calculus [PDF] from archives-ouvertes.fr M Rouached, W Gaaloul, W Van Der Aalst… – On the Move to …, 2006 – Springer … This specification can be amended by 5 http://decreasoner.sourceforge.net Page 13. 420 M. Rouached et al. Fig. 5. The principal snapshot of the Monitoring Framework the service providers to consider additional assumptions about the operations if appropriate. … Cited by 31 – Related articles – BL Direct – All 15 versions

Towards formal verification of web service composition [PDF] from inria.fr M Rouached, O Perrin… – Business Process Management, 2006 – Springer … In [4], BPEL processes are translated to Finite State Process (FSP) models and compiled into a Labeled Transition System (LTS) 5 http://decreasoner.sourceforge.net Page 15. Towards Formal Verification of Web Service Composition 271 … Cited by 37 – Related articles – BL Direct – All 11 versions

[PDF] A Meta-model for the Specification of Artificial Institutions using the Event Calculus [PDF] from dagstuhl.de N Fornara… – dagstuhl.de … 3 http://decreasoner.sourceforge.net/ Page 4. Artikis et al. in [3] study the specification and animation of open computa- tional systems using the Event Calculus. The software platform presented for automated animation of the global state of the system is very interesting. … Related articles – View as HTML

Developing consistent contractual policies in service composition F Ishikawa, N Yoshioka… – Asia-Pacific Service …, 2007 – ieeexplore.ieee.org … References [1] Discrete event calculus reasoner for commonsense reason- ing. http://decreasoner.sourceforge.net/, July 2007 (Last Access). [2] AK Bandara, EC Lupu, and A. Russo. Using event cal- culus to formalise policy specification and analysis. … Cited by 4 – Related articles – All 3 versions

Physical interaction in pervasive computing: formal modeling, analysis and verification F Ishikawa, B Suleiman, K Yamamoto… – Proceedings of the 2009 …, 2009 – dl.acm.org … The MIT Press, 2008. [2] Discrete event calculus reasoner for commonsense reasoning. http://decreasoner.sourceforge.net/, February 2009 (Last Access). [3] AK Bandara, EC Lupu, and A. Russo. Using event calculus to formalise policy specification and analysis. … Cited by 3 – Related articles

[PDF] Temporal reasoning models of a targeting decision chain [PDF] from dodccrp.org RJ Houghton… – ww.dodccrp.org … The EC framework itself deals best with matters of propositional logic and offers relatively little support for any sort of statistical data manipulation. 5. Evaluation 1 Please see http://decreasoner. sourceforge.net/ and Mueller (2006), (2009) for further information. Page 19. 19 … Related articles – View as HTML – All 8 versions

Enhancing business process automation by integrating RFID data and events [PDF] from uni-ulm.de X Zhao, C Liu… – On the Move to Meaningful Internet Systems: OTM …, 2009 – Springer Page 1. R. Meersman, T. Dillon, P. Herrero (Eds.): OTM 2009, Part I, LNCS 5870, pp. 255-272, 2009. (c) Springer-Verlag Berlin Heidelberg 2009 Enhancing Business Process Automation by Integrating RFID Data and Events Xiaohui Zhao1, Chengfei Liu1, and Tao Lin2 … Cited by 5 – Related articles – All 7 versions

Une Approche Sécurisée pour la Délégation Dynamique de Tâches dans les Systèmes de Gestion de Workflow [PDF] from archives-ouvertes.fr K Gaaloul – 2010 – tel.archives-ouvertes.fr … 143 A.1 The meaning of the symbols in the DECReasoner language . . . . . 174 17 tel-00542850, version 1 – 3 Dec 2010 Page 20. List of Tables 18 tel-00542850, version 1 – 3 Dec 2010 Page 21. Résumé de la Th`ese 19 … Related articles – All 5 versions

A logical framework for reasoning about delegation policies in workflow management systems K Gaaloul, HA Proper, E Zahoor… – International Journal of …, 2011 – Inderscience Page 1. Int. J. Information and Computer Security, Vol. 4, No. 4, 2011 365 Copyright (c) 2011 Inderscience Enterprises Ltd. A logical framework for reasoning about delegation policies in workflow management systems Khaled Gaaloul* and HA Proper …

Incorporating business logics into RFID-enabled applications X Zhao, C Liu… – Information Processing & Management, 2011 – Elsevier Related articles – All 2 versions

Event calculus [PDF] from jerzik.cz ET Mueller – Foundations of Artificial Intelligence, 2008 – Elsevier Cited by 10 – Related articles – All 8 versions

Description and Matching of Triggering Capabilities in Event-Driven Services F Ishikawa – Services (SERVICES-1), 2010 6th World …, 2010 – ieeexplore.ieee.org Page 1. Description and Matching of Triggering Capabilities in Event-Driven Services Fuyuki Ishikawa GRACE Center National Institute of Informatics, Japan Email: f-ishikawa@nii.ac.jp Abstract-Event-driven services, or notification … Related articles – All 3 versions

Methods, Techniques and Tools for Product Line Model Verification [PDF] from archives-ouvertes.fr R Mazo, C Salinesi – 2008 – hal-paris1.archives-ouvertes.fr Page 1. Université Panthéon Sorbonne, Paris 1 Centre de Recherche en Informatique CRI Internal report Methods, Techniques and Tools for Product Line Model Verification Raúl MAZO Camille SALINESI Page 2. 2 Page 3. 3 Abstract … Related articles – All 6 versions

Specifying features of an evolving software system [PDF] from open.ac.uk TT Tun, T Trew, M Jackson… – Software: Practice …, 2009 – Wiley Online Library Page 1. SOFTWARE-PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2009; 39:973-1002 Published online 8 May 2009 in Wiley InterScience (www.interscience.wiley. com). DOI: 10.1002/spe.923 Specifying features of an evolving software system … Cited by 5 – Related articles – All 9 versions