On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic-Reference-Cited by-同舟云学术

On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic

Published:2011 Issue: Volume: Page:185-200
ISSN:0302-9743
Container-title:Web Reasoning and Rule Systems
language:
Short-container-title:

Author:

Rezk Martín,Kifer Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-23580-1_14

Reference12 articles.

1. Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming (1997)

2. Berardi, D., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., Su, J., Tabet, S.: SWSL: Semantic Web Services Language. Technical report, Semantic Web Services Initiative (April 2005), http://www.w3.org/Submission/SWSF-SWSL/

3. Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto (November 1995), http://www.cs.sunysb.edu/~kifer/TechReports/transaction-logic.pdf

4. ch.5;A.J. Bonner,1998

5. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17, 301–322 (1993)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Transaction Logic with Partially Defined Actions;Journal on Data Semantics;2012-07-31

2. Reasoning with Actions in Transaction Logic;Web Reasoning and Rule Systems;2011

3. On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic;Web Reasoning and Rule Systems;2011