×

Found 32 Documents (Results 1–32)

Paraconsistent modal logics. (English) Zbl 1347.03054

van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 173-186 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Natural deduction systems of some logics with truth-value gluts and truth-value gaps. (Russian. English summary) Zbl 1244.03049

Karpenko, A. S. (ed.), Логические исследования. 17. Moskva-Sankt-Peterburg: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 293-308 (2011).
MSC:  03B22 03B50 03B53
PDFBibTeX XMLCite

Natural \(p\)-logics. (Russian. English summary) Zbl 1244.03086

Karpenko, A. S. (ed.), Логические исследования. 17. Moskva-Sankt-Peterburg: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 256-268 (2011).
MSC:  03B50 03B53
PDFBibTeX XMLCite

A paraconsistent multi-agent framework for dealing with normative conflicts. (English) Zbl 1348.68253

Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 312-329 (2011).
MSC:  68T42 03B53 68T27
PDFBibTeX XMLCite
Full Text: DOI Link

An application of clasp in the study of logics. (English) Zbl 1327.68069

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 278-283 (2011).
MSC:  68N17 03B50 03B53
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

Software