×

Found 868 Documents (Results 1–100)

100
MathJax

Constraint tableaux for two-dimensional fuzzy logics. (English) Zbl 07532507

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 20-37 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

A monadic logic of ordered abelian groups. (English) Zbl 07585727

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 441-457 (2020).
MSC:  03B45
PDF BibTeX XML Cite

Cognitive principles and individual differences in human syllogistic reasoning. (English) Zbl 07585081

Urbański, Mariusz (ed.) et al., Reasoning: games, cognition, logic. Proceedings of the Poznań reasoning week multi-conference, Poznań, Poland, September 11–15, 2018. London: College Publications. Stud. Log. (Lond.) 83, 55-75 (2020).
MSC:  03Bxx
PDF BibTeX XML Cite

An efficient algorithm for representing piecewise linear functions into logic. (English) Zbl 07313970

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 167-186 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI

Łukasiewicz logic and artificial neural networks. (English) Zbl 1477.68306

Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 137-149 (2020).
MSC:  68T37 03B50 68T07
PDF BibTeX XML Cite
Full Text: DOI

The weak completion semantics can model inferences of individual human reasoners. (English) Zbl 07169127

Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 498-508 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

The weak completion semantics and equality. (English) Zbl 1415.68220

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 326-342 (2018).
MSC:  68T27 03A05 68N17
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software