Parametrized Logic Programming

@inproceedings{Gonalves2010ParametrizedLP,
  title={Parametrized Logic Programming},
  author={Ricardo Gonçalves and Jos{\'e} J{\'u}lio Alferes},
  booktitle={JELIA},
  year={2010}
}
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order formulas, a parametrized logic program reasons about formulas of a given parameter logic. Of course, the main challenge is to define the semantics of such general programs. In this work we introduce the novel definitions along with some motivating examples. This approach allows us to prove general results that can be… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 19 CITATIONS

Combining Rules and Ontologies via Parametrized Logic Programs

  • JOWO@IJCAI
  • 2015
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Extending NoHR for OWL 2 QL

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Decidability and Implementation of Parametrized Logic Programs

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

An Embedding of Input-Output Logic in Deontic Logic Programs

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Parametrized Equilibrium Logic

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

An NP-complete fragment of fibring logic

  • Annals of Mathematics and Artificial Intelligence
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND

Nonmonotonic Nominal Schemas Revisited

  • Description Logics
  • 2015
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.