14 papers:
ICSE-v1-2015-RegisDDA #logic #specification- Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.
CAiSE-2013-BaryannisP #calculus #named #specification #web #web service- WSSL: A Fluent Calculus-Based Language for Web Service Specifications (GB, DP), pp. 256–271.
KR-2006-ThielscherW #calculus #semantics- The Features-and-Fluents Semantics for the Fluent Calculus (MT, TW), pp. 362–370.
ESEC-FSE-2005-LetierKMU #logic #modelling- Fluent temporal logic for discrete-time event-based models (EL, JK, JM, SU), pp. 70–79.
- ICSE-2005-ChatleyUKM #animation #requirements #validation #web
- Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.
- KR-2004-MartinNT #calculus
- Knowledge of Other Agents and Communicative Actions in the Fluent Calculus (YM, IN, MT), pp. 623–633.
RE-2004-UchitelCKM #animation #requirements #validation- Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.
- ESEC-FSE-2003-GiannakopoulouM #model checking
- Fluent model checking for event-based systems (DG, JM), pp. 257–266.
CL-2000-HolldoblerS #calculus #diagrams #problem #using- Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams (SH, HPS), pp. 747–761.
- CL-2000-LehmannL #calculus #decidability
- Decidability Results for the Propositional Fluent Calculus (HL, ML), pp. 762–776.
- CL-2000-Pallotta #composition #logic #logic programming #semantics #source code
- A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs (VP), pp. 777–791.
- CL-2000-StorrT #calculus #equation
- A New Equational Foundation for the Fluent Calculus (HPS, MT), pp. 733–746.
- CL-2000-Tarau #named #prolog #refactoring
- Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects (PT), pp. 1225–1239.
INTERCHI-1993-RussoB #design #how #interface- How fluent is your interface?: designing for international users (PR, SB), pp. 342–347.
