220
Mathematical Aspects of Logic Programming Semantics
In particular, the propositional core method (see Section 7.4) has spawned
a lot of investigations, including extended semantics for propositional logic
programs.
44 But alternative methods are also under investigation which do
not connect directly with the investigations into the mathematical foundations
of logic programming we have presented in this book.
45
44 Most notable is the body of work done by Artur d’Avila Garcez of City University London on, for example, modal logic, see [d’Avila Garcez et al., 2007], intuitionistic
logic, see [d’Avila Garcez et al., 2006], and epistemic and temporal logic, see, for example,
[d’Avila Garcez and Lamb, 2006]. See also [d’Avila Garcez et al., 2009].
45 For further notable recent work based on methods other than those reported here, the
reader should consult the following papers [Gust et al., 2007, H¨ olldobler and Ramli, 2009,
Komendantskaya, 2010, Buillame-Bert et al., 2010].
Mathematical Aspects of Logic Programming Semantics
In particular, the propositional core method (see Section 7.4) has spawned
a lot of investigations, including extended semantics for propositional logic
programs.
44 But alternative methods are also under investigation which do
not connect directly with the investigations into the mathematical foundations
of logic programming we have presented in this book.
45
44 Most notable is the body of work done by Artur d’Avila Garcez of City University London on, for example, modal logic, see [d’Avila Garcez et al., 2007], intuitionistic
logic, see [d’Avila Garcez et al., 2006], and epistemic and temporal logic, see, for example,
[d’Avila Garcez and Lamb, 2006]. See also [d’Avila Garcez et al., 2009].
45 For further notable recent work based on methods other than those reported here, the
reader should consult the following papers [Gust et al., 2007, H¨ olldobler and Ramli, 2009,
Komendantskaya, 2010, Buillame-Bert et al., 2010].