×

Found 73 Documents (Results 1–73)

Newest Citations Relevance
Benferhat, Salem; Dubois, Didier; Prade, Henri

Provenance calculus and possibilistic logic: a parallel and a discussion. (English) Zbl 07897242

Bouraoui, Zied (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 17th European conference, ECSQARU 2023, Arras, France, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14294, 427-441 (2024).
MSC:  68T37 68P15 68T27
Cite Review PDF
Full Text: DOI
van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe; Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia

Labelled calculi for the logics of rough concepts. (English) Zbl 1541.03085

Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 172-188 (2023).
MSC:  03B45 03B52
Cite Review PDF
Full Text: DOI arXiv
Kuznets, Roman

Through an inference rule, darkly. (English) Zbl 1469.03158

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 131-158 (2019).
MSC:  03F03 03B45 03F05 03F07
Cite Review PDF
Full Text: DOI
Libal, Tomer; Volpe, Marco

Certification of prefixed tableau proofs for modal logic. (English) Zbl 1478.03021

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 257-271 (2016).
MSC:  03B35 03B45 68V15
Cite Review PDF
Full Text: arXiv Link
Pagliani, Piero

Rough sets – past, present and future: some notes. (English) Zbl 1444.68240

Ciucci, Davide (ed.) et al., Rough sets and knowledge technology. 10th international conference, RSKT 2015, held as part of the international joint conference on rough sets, IJCRS 2015, Tianjin, China, November 20–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9436, 39-49 (2015).
MSC:  68T37 68-03
Cite Review PDF
Full Text: DOI
OA License
Benzmüller, Christoph; Woltzenlogel Paleo, Bruno

Higher-order modal logics: automation and applications. (English) Zbl 1358.68273

Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 32-74 (2015).
MSC:  68T27 03B35 03B45 68T15
Cite Review PDF
Full Text: DOI
Benzmüller, Christoph

Invited talk: On a (quite) universal theorem proving approach and its application in metaphysics. (English) Zbl 1471.68302

De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 213-220 (2015).
MSC:  68V15 03A05 03B16 03B35
Cite Review PDF
Full Text: DOI
Manzano, María

April the 19th. (English) Zbl 1330.03005

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 265-278 (2014).
MSC:  03-03 01A60
Cite Review PDF
Full Text: DOI
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.

Natural deduction for equality: the missing entity. (English) Zbl 1339.03052

Pereira, Luiz Carlos (ed.) et al., Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Dordrecht: Springer (ISBN 978-94-007-7547-3/hbk; 978-94-007-7548-0/ebook). Trends in Logic – Studia Logica Library 39, 63-91 (2014).
MSC:  03F05 03F07
Cite Review PDF
Full Text: DOI
Sano, Katsuhiko

Sound and complete tree-sequent calculus for inquisitive logic. (English) Zbl 1246.03052

Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 365-378 (2009).
MSC:  03B60 03F05
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software