Results 211 to 220 of about 18,932 (252)

Investigating distributed generator high penetration in improving technical, emission and economic constraints of distribution network. [PDF]

Sci Rep
Alromithy FS, Hosseinnia H, Rostami R, Altimania MRM.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Equilibrium logic

Annals of Mathematics and Artificial Intelligence, 2006
The aim of the paper is to present an overview of equilibrium logic and summarize its main features, properties and areas of application. Equilibrium logic generalizes reasoning with stable models and answer sets, it relates closely to other applied logics such as default logic, autoepistemic logic or modal nonmonotonic systems.
David Pearce, Pearce David
exaly   +2 more sources

Temporal equilibrium logic: a survey

Journal of Applied Non-Classical Logics, 2013
Abstract This paper contains a survey of the main definitions and results obtained to date related to Temporal Equilibrium Logic, a nonmonotonic hybrid approach that combines Equilibrium Logic (the best-known logical characterisation for the stable models semantics of logic programs) with Linear-Time Temporal Logic.
Felicidad Aguado, Pedro Çabalar, Martin Dieguez   +2 more
exaly   +2 more sources

Parametrized Equilibrium Logic

Lecture Notes in Computer Science, 2011
Equilibrium logic provides a logical foundation for the stable model semantics of logic programs. Recently, parametrized logic programming was introduced with the aim of presenting the syntax and natural semantics for parametrized logic programs, which are very expressive logic programs, in the sense that complex formulas are allowed to appear in the ...
Ricardo Gonçalves, JOSÉ Julio Alferes, Alferes JOSÉ Julio   +2 more
exaly   +2 more sources

Temporal Equilibrium Logic with past operators

Journal of Applied Non-Classical Logics, 2017
In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic (TEL), an hybrid formalism that mixes linear-time modalities and logic programs interpreted u...
Felicidad Aguado, Pedro Çabalar, Martin Dieguez   +2 more
exaly   +2 more sources

Fuzzy Equilibrium Logic

ACM Transactions on Computational Logic, 2012
In this article, we introduce fuzzy equilibrium logic as a generalization of both Pearce equilibrium logic and fuzzy answer set programming. The resulting framework combines the capability of equilibrium logic to declaratively specify search problems, with the capability of fuzzy logics to model continuous domains.
Steven Schockaert, Jeroen Janssen, Dirk Vermeir   +2 more
exaly   +3 more sources

Deontic Equilibrium Logic with eXplicit Negation

2023
peer ...
Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre   +2 more
openaire   +2 more sources

Contingency-Based Equilibrium Logic

2011
We investigate an alternative language for equilibrium logic that is based on the concept of positive and negative contingency. Beyond these two concepts our language has the modal operators of necessity and impossibility and the Boolean operators of conjunction and disjunction. Neither negation nor implication are available.
Luis Fariñas del Cerro, Andreas Herzig
openaire   +1 more source

An infinitary encoding of temporal equilibrium logic

Theory and Practice of Logic Programming, 2015
AbstractThis paper studies the relation between two recent extensions of propositional Equilibrium Logic, a well-known logical characterisation of Answer Set Programming. In particular, we show how Temporal Equilibrium Logic, which introduces modal operators as those typically handled in Linear-Time Temporal Logic (LTL), can be encoded into Infinitary ...
Pedro Cabalar, Martín Diéguez, Concepción Vidal   +2 more
openaire   +1 more source