Ata uhi

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior resear...

Whakaahuatanga katoa

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi rangatōpū:	SpringerLink (Online service)
Ētahi atu kaituhi:	Console, Marco (Editor), Konev, Boris (Editor)
Hōputu:	Tāhiko īPukapuka
Reo:	Ingarihi
I whakaputaina:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Putanga:	1st ed. 2025.
Rangatū:	Lecture Notes in Computer Science, 15400
Ngā marau:	Logic programming. Computer science. Application software. Logic in AI. Theory of Computation. Computer and Information Systems Applications.
Urunga tuihono:	https://doi.org/10.1007/978-3-031-80283-6
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite

Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27–30, 2022, Tutorial Lectures /
I whakaputaina: (2023)

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings /
I whakaputaina: (2023)

Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings /
I whakaputaina: (2024)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
I whakaputaina: (2023)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
I whakaputaina: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
I whakaputaina: (2024)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
I whakaputaina: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
I whakaputaina: (2025)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
I whakaputaina: (2024)

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
I whakaputaina: (2024)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
I whakaputaina: (2023)

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
I whakaputaina: (2025)

Reasoning and Logic/
mā: Angell, Richard B.
I whakaputaina: (1964)

R-Calculus, VI: Finite Injury Priority Method
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
I whakaputaina: (2024)

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
I whakaputaina: (2023)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
I whakaputaina: (2024)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
I whakaputaina: (2024)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
I whakaputaina: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
I whakaputaina: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
I whakaputaina: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
I whakaputaina: (2025)

Logic and Knowledge : Essays 1901-1950 /
mā: Russell, Bertrand
I whakaputaina: (1988)

R-Calculus, IV: Propositional Logic
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2023)

Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24–26, 2025, Revised Selected Papers, Part I /
I whakaputaina: (2025)

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
I whakaputaina: (2024)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
I whakaputaina: (2023)

The Art of Reasoning
mā: Kelley
I whakaputaina: (1998)

With good reason: an introduction to informal fallacies/
mā: Engel, S. Morris
I whakaputaina: (1982)

Logic Circuit Design Selected Topics and Methods /
mā: Vingron, Shimon P.
I whakaputaina: (2024)

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
I whakaputaina: (2024)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
I whakaputaina: (2023)

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers /
I whakaputaina: (2024)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /
I whakaputaina: (2024)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /
I whakaputaina: (2024)

R-Calculus, V: Description Logics
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2024)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
I whakaputaina: (2023)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
I whakaputaina: (2025)

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings /
I whakaputaina: (2023)

Pervasive Knowledge and Collective Intelligence on Web and Social Media Second EAI International Conference, PerSOM 2023, Hyderabad, India, November 24–25, 2023, Proceedings /
I whakaputaina: (2024)