[CITATION] Discrete Event Calculus Reasoner Documentation
ET Mueller - 2008 - IBM Thomas
Cited by 2 - Related articles - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
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. ...
Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
[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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 ...
Import into BibTeX
Incorporating business logics into RFID-enabled applications
X Zhao, C Liu... - Information Processing & Management, 2011 - Elsevier
Related articles - All 2 versions - Import into BibTeX
Event calculus
[PDF] from jerzik.cz
ET Mueller - Foundations of Artificial Intelligence, 2008 - Elsevier
Cited by 10 - Related articles - All 8 versions - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
|
