Toolbox
Logic
2008-11-21 v1
Authors:
Karl Schlechta
Abstract
Contains various tools for preferential and related logics
Keywords
Cite
@article{arxiv.0811.3402,
title = {Toolbox},
author = {Karl Schlechta},
journal= {arXiv preprint arXiv:0811.3402},
year = {2008}
}
Related papers
View all related →
Logic · Mathematics
Roadmap for preferential logics
Dov Gabbay, Karl Schlechta
2008-08-25
Artificial Intelligence · Computer Science
Lexicographic Logic: a Many-valued Logic for Preference Representation
Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis
2020-12-22
Artificial Intelligence · Computer Science
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
Alexander Steen
2022-03-24
Machine Learning · Statistics
The Preference Learning Toolbox
Vincent E. Farrugia, Héctor P. Martínez, Georgios N. Yannakakis
2015-06-05
Artificial Intelligence · Computer Science
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences
G. Brewka
2008-02-03
Artificial Intelligence · Computer Science
Two results for proiritized logic programming
Yan Zhang
2007-05-23
Formal Languages and Automata Theory · Computer Science
Opportunistic Qualitative Planning in Stochastic Systems with Preferences over Temporal Logic Objectives
Abhishek Ninad Kulkarni, Jie Fu
2022-03-28
Information Theory · Computer Science
A Toolbox for Refined Information-Theoretic Analyses with Applications
Neri Merhav, Nir Weinberger
2024-06-04
Artificial Intelligence · Computer Science
A Principled Analysis of Merging Operations in Possibilistic Logic
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
2013-01-18
Logic in Computer Science · Computer Science
Choice Logics and Their Computational Properties
Michael Bernreiter, Jan Maly, Stefan Woltran
2021-06-10
Artificial Intelligence · Computer Science
TensorLog: Deep Learning Meets Probabilistic DBs
William W. Cohen, Fan Yang, Kathryn Rivard Mazaitis
2017-07-19
Logic in Computer Science · Computer Science
Working with first-order proofs and provers
Michael Raskin, Christoph Welzel
2019-04-10
Artificial Intelligence · Computer Science
Logic Programs with Compiled Preferences
James P. Delgrande, Torsten Schaub, Hans Tompits
2007-05-23
Logic · Mathematics
A Brief Tour of Logic and Optimization
John Hooker
2019-10-31
Logic in Computer Science · Computer Science
Foundations
Jeremy Avigad
2021-09-01
Artificial Intelligence · Computer Science
Planning with Preferences using Logic Programming
Tran Cao Son, Enrico Pontelli
2009-09-29
Logic in Computer Science · Computer Science
Axiomatizing logics of fuzzy preferences using graded modalities
Amanda Vidal, Francesc Esteva, Lluis Godo
2019-11-18
Artificial Intelligence · Computer Science
On Planning with Preferences in HTN
Shirin Sohrabi, Sheila A. McIlraith
2009-09-04
Artificial Intelligence · Computer Science
Argument Calculus and Networks
Adnan Darwiche
2013-03-08
Formal Languages and Automata Theory · Computer Science
Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives
Lening Li, Hazhar Rahmani, Jie Fu
2023-04-25
Artificial Intelligence · Computer Science
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
Laura Giordano, Daniele Theseider Dupré
2020-08-11
Logic · Mathematics
Logical tools for handling change in agent-based systems
Dov Gabbay, Karl Schlechta
2009-03-21
Artificial Intelligence · Computer Science
Argumentation Semantics for Prioritised Default Logic
Anthony P. Young, Sanjay Modgil, Odinaldo Rodrigues
2015-07-02
Artificial Intelligence · Computer Science
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021-07-13
Artificial Intelligence · Computer Science
Compact Value-Function Representations for Qualitative Preferences
Ronen I. Brafman, Carmel Domshlak, Tanya Kogan
2012-07-19