Skip to main content
SpringerLink
Log in

Decidability and Implementation of Parametrized Logic Programs

  • Conference paper
Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8148))

  • 983 Accesses

Abstract

Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head of rules. In this paper we study the decidability of these rich programs and propose an implementation that combines, in a modular way, a reasoner for the parameter logic with an answer set solver.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Artosi, A., Cattabriga, P., Governatori, G.: Ked: A deontic theorem prover. In: Workshop on Legal Application of Logic Programming, pp. 60–76. IDG (1994)

    Google Scholar 

  2. Belnap, N.: A useful four-valued logic. In: Epstein, G., Dunn, M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 7–37. Reidel Publishing Company (1977)

    Google Scholar 

  3. Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. JAAMAS 17(1), 1–10 (2008)

    Google Scholar 

  4. Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385–390. AAAI Press (2007)

    Google Scholar 

  5. Chellas, B.: Modal Logic: An Introduction. Cambridge University Press (1980)

    Google Scholar 

  6. Ferraris, P.: Logic programs with propositional connectives and aggregates. ACM Trans. Comput. Log. 12(4), 25 (2011)

    Article  MathSciNet  Google Scholar 

  7. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260–265. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming, pp. 1070–1080. MIT Press (1988)

    Google Scholar 

  9. Gonçalves, R., Alferes, J.J.: Parametrized logic programming. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 182–194. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  10. Gonçalves, R., Alferes, J.J.: An embedding of input-output logic in deontic logic programs. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol. 7393, pp. 61–75. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  11. Gonçalves, R., Alferes, J.J.: Specifying and reasoning about normative systems in deontic logic programming. In: van der Hoek, W., Padgham, L., Conitzer, V., Winikoff, M. (eds.) AAMAS, pp. 1423–1424. IFAAMAS (2012)

    Google Scholar 

  12. Homola, M., Knorr, M., Leite, J., Slota, M.: MKNF knowledge bases in multi-context systems. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds.) CLIMA XIII 2012. LNCS, vol. 7486, pp. 146–162. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  13. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: KR, pp. 57–67. AAAI Press (2006)

    Google Scholar 

  14. Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9-10), 1528–1554 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Motik, B., Rosati, R.: Reconciling description logics and rules. JACM 57(5) (2010)

    Google Scholar 

  16. Motik, B., Shearer, R., Horrocks, I.: Hypertableau Reasoning for Description Logics. Journal of Artificial Intelligence Research 36, 165–228 (2009)

    MathSciNet  MATH  Google Scholar 

  17. Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 957–962. IOS Press (2010)

    Google Scholar 

  18. Slota, M., Leite, J.: A unifying perspective on knowledge updates. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 372–384. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  19. Slota, M., Leite, J.: The rise and fall of semantic rule updates based on SE-models. Theory and Practice of Logic Programming (TPLP) (to appear, 2013)

    Google Scholar 

  20. von Wright, G.H.: Deontic logic. Mind 60, 1–15 (1951)

    Article  Google Scholar 

  21. Wójcicki, R.: Theory of Logical Calculi. Synthese Library. Kluwer (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA - Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal

    Ricardo Gonçalves & José Júlio Alferes

Authors
  1. Ricardo Gonçalves
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Júlio Alferes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Corunna, Campus de Elviña s/n, 15071, Corunna, Spain

    Pedro Cabalar

  2. Department of Computer Science, New Mexico State University, 1290 Frenger Mall, SH 123, MSC CS, P.O. Box 30001, 88003, Las Cruces, NM, USA

    Tran Cao Son

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gonçalves, R., Alferes, J.J. (2013). Decidability and Implementation of Parametrized Logic Programs. In: Cabalar, P., Son, T.C. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2013. Lecture Notes in Computer Science(), vol 8148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40564-8_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40564-8_36

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40563-1

  • Online ISBN: 978-3-642-40564-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation