caa a22 4500 463187040 CHVBK 20180406164857.0 cr unu---uuuuu 170326e20070801xx s 000 0 eng 10.1007/s10472-007-9075-0 doi (NATIONALLICENCE)springer-10.1007/s10472-007-9075-0 Partial equilibrium logic [Elektronische Daten] [Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde] Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In particular it provides a logical foundation for these semantics as well as an extension of the basic syntax of logic programs. In this paper we describe PEL, study some of its logical properties and examine its behaviour on disjunctive and nested logic programs. In addition we consider computational features of PEL and study different approaches to its computation. Springer Science+Business Media B.V., 2007 Partial equilibrium logic nationallicence Well-founded semantics nationallicence Nonclassical logics nationallicence Logic programming nationallicence Cabalar Pedro Corunna University, Corunna, Spain aut Odintsov Sergei Sobolev Institute of Mathematics, Novosibirsk, Russia aut Pearce David Computing Science and Artificial Intelligence, Rey Juan Carlos University, Madrid, Spain aut Valverde Agustín Applied Mathematics Dpt., University of Málaga, Málaga, Spain aut Annals of Mathematics and Artificial Intelligence Springer Netherlands 50/3-4(2007-08-01), 305-331 1012-2443 50:3-4<305 2007 50 10472 https://doi.org/10.1007/s10472-007-9075-0 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10472-007-9075-0 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Cabalar Pedro Corunna University, Corunna, Spain aut NATIONALLICENCE 700 1- Odintsov Sergei Sobolev Institute of Mathematics, Novosibirsk, Russia aut NATIONALLICENCE 700 1- Pearce David Computing Science and Artificial Intelligence, Rey Juan Carlos University, Madrid, Spain aut NATIONALLICENCE 700 1- Valverde Agustín Applied Mathematics Dpt., University of Málaga, Málaga, Spain aut NATIONALLICENCE 773 0- Annals of Mathematics and Artificial Intelligence Springer Netherlands 50/3-4(2007-08-01), 305-331 1012-2443 50:3-4<305 2007 50 10472 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer