Results 1 to 10 of about 18,932 (252)
Metric dynamic equilibrium logic
Journal of Applied Non-Classical Logics, 2023 arXiv admin note: text overlap with arXiv:2304 ...
Pedro Çabalar +2 more
exaly +4 more sources
Partial equilibrium logic [PDF]
Annals of Mathematics and Artificial Intelligence, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pedro Çabalar +2 more
exaly +2 more sources
On the Complexity of Temporal Equilibrium Logic [PDF]
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015 Temporal Equilibrium Logic (TEL) is a promising framework that extends the knowledge representation and reasoning capabilities of Answer Set Programming with temporal operators in the style of LTL. To our knowledge it is the first nonmonotonic logic that accommodates fully the syntax of a standard temporal logic (specifically LTL) without requiring ...
Laura Bozzelli, David Pearce
exaly +3 more sources
Infinitary equilibrium logic and strongly equivalent logic programs
Artificial Intelligence, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Amelia Harrison +2 more
exaly +2 more sources
Autoepistemic equilibrium logic and epistemic specifications
Artificial Intelligence, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ezgi Iraz Su +2 more
exaly +6 more sources
Quantum-inspired Ising machine using sparsified spin connectivity [PDF]
Scientific ReportsCombinatorial optimization problems become computationally intractable as these NP-hard problems scale. We previously proposed extraction-type majority voting logic (E-MVL), a quantum-inspired algorithm using digital logic circuits.
Moe Shimada +4 more
doaj +2 more sources
Reflective equilibrium in logic
SynthÈseAbstractAmong the areas of knowledge that the method of reflective equilibrium (RE) has been applied to is that of logical validity. According to RE in logic, we come to be justified in believing a (deductive) logical theory in virtue of establishing some state of equilibrium between our initial judgements over the validity of specific (natural ...
Ben Martin
exaly +3 more sources
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
Algorithms, 2022 Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving.
Jorge Fandinno +3 more
doaj +1 more source
The Modal Logic of Equilibrium Models [PDF]
Journal of Applied Logic, 2011 Here-and-there models and equilibrium models were investigated as a semantical framework for answer set programming by Pearce, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is indirect in that the notion of satisfiability is defined in terms of satisfiability in the logic of here-and-there.
Luis Fariñas del Cerro, Andreas Herzig
openaire +4 more sources
Stackelberg Social Equilibrium in Water Markets
Games, 2023 Market power in water markets can be modeled as simultaneous quantity competition on a river structure and analyzed by applying social equilibrium. In an example of a duopoly water market, we argue that the lack of backward induction logic implies that ...
Harold Houba, Françeska Tomori
doaj +1 more source