Transaction Logic with Partially Defined Actions (original) (raw)
Anicic D, Fodor P, Stühmer R, Stojanovic N (2009) An approach for data-driven logic-based complex event processing. In: The 3rd ACM international conference on distributed event-based systems (DEBS)
Baral C, Gelfond M (1993) Representing concurrent actions in extended logic programming. In: Proceedings of the 13th international joint conference on artifical intelligence, vol 2. Morgan Kaufmann, San Francisco, pp 866–871. http://portal.acm.org/citation.cfm?id=1624140.1624145
Baral C, Gelfond M (2005) Reasoning about intended actions. In: Proceedings of the 20th national conference on artificial intelligence, vol 2. AAAI Press, pp 689–694. http://portal.acm.org/citation.cfm?id=1619410.1619443
Baral C, Gelfond M, Provetti A (1997) Representing actions: laws, observations and hypotheses. J Logic Program 31: 201–244 ArticleMathSciNetMATH Google Scholar
Bonner A, Kifer M (1993) Transaction logic programming. In: International conference on logic programming. MIT Press, Budapest, pp 257–282
Bonner A, Kifer M (1994) Applications of transaction logic to knowledge representation. In: Proceedings of the international conference on temporal logic. Lecture notes in artificial intelligence, vol 827. Springer, Bonn, pp 67–81
Bonner A, Kifer M (1998) A logic for programming database transactions. In: Chomicki J, Saake G (eds) Logics for databases and information systems, chap 5. Kluwer, pp 117–166
Bonner AJ, Kifer M (1994) Applications of transaction logic to knowledge representation. In: ICTL, pp 67–81
de Bruijn J, Rezk M (2009) A logic based approach to the static analysis of production systems. In: RR, pp 254–268
Chen W, Kifer M, Warren D (1993) HiLog: a foundation for higher-order logic programming. J Logic Program 15(3): 187–230 ArticleMathSciNetMATH Google Scholar
Damásio CV, Alferes JJ, Leite Ja (2010) Declarative semantics for the rule interchange format production rule dialect. In: Proceedings of the 9th international semantic web conference on the semantic web (ISWC’10) volume, part I. Springer, Berlin, pp 798–813. http://portal.acm.org/citation.cfm?id=1940281.1940332
Davulcu H, Kifer M, Ramakrishnan CR, Ramakrishnan IV (1998) Logic based modeling and analysis of workflows. In: PODS, pp 25–33
Davulcu H, Kifer M, Ramakrishnan IV (2004) Ctr-s: a logic for specifying contracts in semantic web services. In: WWW, pp 144–153
Emerson EA (1995) Temporal and modal logic. In: Handbook of theoretical computer science. Elsevier, pp 995–1072
Enderton H (2001) A mathematical introduction to logic. Academic Press
Gelfond M, Lifschitz V (1993) Representing action and change by logic programs. J Logic Program 17: 301–322 ArticleMathSciNetMATH Google Scholar
Giunchiglia E, Lifschitz V (1998) An action language based on causal explanation: preliminary report. In: Proc AAAI-98. AAAI Press, pp 623–630
Hanks S, McDermott D (1987) Nonmonotonic logic and temporal projection. Artif Intell 33(3):379–412. doi:10.1016/0004-3702(87)90043-9
Lam PE, Mitchell JC, Sundaram S (2009) A formalization of HIPAA for a medical messaging system. In: Proceedings of the 6th international conference on trust, privacy and security in digital business, TrustBus ’09, pp 73–85. doi:10.1007/978-3-642-03748-1_8
Levesque HJ, Reiter R, Lespérance Y, Lin F, Scherl RB (1997) Golog: a logic programming language for dynamic domains. J Log Program 31(1-3): 59–83 ArticleMATH Google Scholar
Lloyd J (1987) Foundations of logic programming, 2nd edn. Springer, Berlin BookMATH Google Scholar
Pearce D, Wagner G (1991) Logic programming with strong negation. In: Proceedings of the international workshop on extensions of logic programming. Springer, New York, pp 311–326. http://portal.acm.org/citation.cfm?id=111360.111371
Raymond R (1991) The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression. In: Artificial intelligence and mathematical theory of computation. Academic Press, San Diego, pp 359–380. http://dl.acm.org/citation.cfm?id=132218.132239
Rezk M, Kifer M (2011) On the equivalence between the L1 action language and partial actions in transaction logic. In: Rudolph S, Gutierrez C (eds) Web reasoning and rule systems. Lecture notes in computer science, vol 6902. Springer, Berlin, pp 185–200. doi:10.1007/978-3-642-23580-1_14
Rezk M, Kifer M (2011b) Reasoning with actions in transaction logic. In: Rudolph S, Gutierrez C (eds) Web reasoning and rule systems. Lecture notes in computer science, vol 6902. Springer, Berlin, pp 201–216
Rezk M, Kifer M (2012) Formalizing production systems with rule-based ontologies. In: Seventh international symposium on foundations of information and knowledge systems (FOIKS). Lecture notes in computer science, vol 7153. Springer, Kiel
Rezk M, Nutt W (2011) Combining production systems and ontologies. In: The fifth international conference on web reasoning and rule systems RR’11. Springer, Berlin, pp 287–293
Roman D, Kifer M (2007) Reasoning about the behavior of semantic web services with concurrent transaction logic. In: VLDB, pp 627–638
Roman D, Kifer M (2008) Semantic web service choreography: contracting and enactment. In: International semantic web conference, pp 550–566
Roman D, Kifer M, Fensel D (2008) Wsmo choreography: from abstract state machines to concurrent transaction logic. In: ESWC, pp 659–673
Thielscher M (2005) Flux: a logic programming method for reasoning agents. TPLP 5(4–5): 533–565 MATH Google Scholar
Thielscher M (2005) Reasoning robots: the art and science of programming robotic agents. Applied logic series. Springer, Berlin
Turner H (1996) Representing actions in default logic: a situation calculus approach. In: Proceedings of the symposium in honor of Michael Gelfond’s 50th birthday
van Emden M, Kowalski R (1976) The semantics of predicate logic as a programming language. J ACM 23(4): 733–742 ArticleMATH Google Scholar
Yang G, Kifer M, Zhao C (2003) FLORA-2: a rule-based knowledge representation and inference infrastructure for the Semantic Web. In: International conference on ontologies, databases and applications of semantics (ODBASE-2003). Lecture notes in computer science, vol 2888. Springer, Berlin, pp 671–688