×

Found 14,682 Documents (Results 1–100)

100
MathJax

A parameterized view on the complexity of dependence logic. (English) Zbl 07551715

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 125-142 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 16th international workshop on logical and semantic frameworks, with applications, LSFA, Buenos Aires, Argentina, online, July 23–24, 2021. (English) Zbl 07545244

Electronic Proceedings in Theoretical Computer Science (EPTCS) 357. Waterloo: Open Publishing Association (OPA). 111 p., electronic only, open access (2022).
PDF BibTeX XML Cite
Full Text: DOI Link

Disjunction and negation in information based semantics. (English) Zbl 07547751

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 355-371 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

On the expressive power of TeamLTL and first-order team logic over hyperproperties. (English) Zbl 07547748

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 302-318 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution. (English) Zbl 07547746

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 269-286 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Modal logic via global consequence. (English) Zbl 07547737

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 117-132 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 37th conference on mathematical foundations of programming semantics, MFPS, hybrid: Salzburg, Austria and online, August 30 – September 2, 2021. (English) Zbl 07545241

Electronic Proceedings in Theoretical Computer Science (EPTCS) 351. Waterloo: Open Publishing Association (OPA). 313 p., electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Proceedings of the combined 28th international workshop on expressiveness in concurrency and the 18th workshop on structural operational semantics, EXPRESS/SOS, Paris, France, online event, August 23, 2021. (English) Zbl 07544349

Electronic Proceedings in Theoretical Computer Science (EPTCS) 339. Waterloo: Open Publishing Association (OPA). 92 p., electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

On the KLM properties of a fuzzy DL with typicality. (English) Zbl 07542368

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 557-571 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Gradual semantics for weighted bipolar SETAFs. (English) Zbl 07542343

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 201-214 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Assumption-based argumentation is logic programming with projection. (English) Zbl 07542341

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 173-186 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Generalizing complete semantics to bipolar argumentation frameworks. (English) Zbl 07542338

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 130-143 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software