Results 231 to 240 of about 18,932 (252)

Equilibrium Semantics for IF Logic and Many-Valued Connectives

2017
We connect two different forms of game based semantics: Hintikka's game for Independence Friendly logic IF logic and Giles's game for Łukasiewicz logic. An interpretation of truth values in [0,i¾?1] as equilibrium values in semantic games of imperfect information emerges for a logic that extends both, Łukasiewicz logic and IF logic.
Fermüller, C., Majer, O. (Ondrej)
openaire   +2 more sources

Tackling Temporal Deontic Challenges with Equilibrium Logic

International Joint Conference on Autonomous Agents and Multiagent Systems
Combining temporal reasoning with normative requirements presents significant challenges. In this paper, we tackle the most relevant challenges in the literature from a computational perspective, using Answer Set Programming (ASP). We integrate Temporal Equilibrium Logic, the foundation of Temporal ASP, with Deontic Equilibrium Logic with Explicit ...
Davide Soldà, Pedro Cabalar, Agata Ciabattoni, Emery A. Neufeld   +3 more
openaire   +2 more sources

Out-of-equilibrium chemical logic systems: Light- and sound-controlled programmable spatiotemporal patterns and mechanical functions

CheM, 2022
Rahul Dev Mukhopadhyay, Ilha Hwang, Kimoon Kim   +2 more
exaly  

tabeql: A Tableau Based Suite for Equilibrium Logic

2004
Equilibrium logic is a formal system of nonmonotonic reasoning proposed by D. Pearce [6,7] that generalises the stable model and answer set semantics for logic programs [1]. The program tabeql included several systems that are related to equilibrium logic and are based on tableau methodology: an equilibrium model generator [8], a checker for strong ...
openaire   +1 more source

LF Distribution and Equilibrium Optimizer Based Fuzzy Logic for Multipath Routing in MANET

Wireless Personal Communications, 2021
S Jothi, Jothi S
exaly  

A novel strategy based on recent equilibrium optimizer to enhance the performance of PEM fuel cell system through optimized fuzzy logic MPPT

Energy, 2021
Hegazy Rezk, Mokhtar Aly, Ahmed Fathy
exaly  

How the Big Four maintain and defend logic equilibrium at concurrent performances

Critical Perspectives on Accounting, 2023
Neil J Dunne, Niamh M Brennan
exaly  

Capturing equilibrium models in modal logic

Journal of Applied Logic, 2014
Luis Fariñas DEL CERRO, Andreas Herzig, Ezgi Iraz Su   +2 more
exaly  

Probabilistic Autoepistemic Equilibrium Logic

2023
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro   +2 more
openaire   +1 more source

Encodings for Equilibrium Logic and Logic Programs with Nested Expressions

Lecture Notes in Computer Science, 2002
David Pearce, Hans Tompits, Stefan Woltran   +2 more
exaly