1
R-Calculus, V: Description Logics [E-Book] /
Li, Wei
2024
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
2
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
3
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
4
Human and Artificial Rationalities [E-Book] : Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
5
Formal Methods: Foundations and Applications [E-Book] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
6
Dynamic Logic. New Trends and Applications [E-Book] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
7
Chatbot Research and Design [E-Book] : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
8
Foundations of Information and Knowledge Systems [E-Book] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
9
Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence [E-Book] /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
10
Chatbot Research and Design [E-Book] : 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
11
R-Calculus, IV: Propositional Logic [E-Book] /
Li, Wei
2023
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
12
Developments in Language Theory [E-Book] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
13
Practical Aspects of Declarative Languages [E-Book] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
14
Dynamics in Logic and Language [E-Book] : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers /
Deng, Dun
2023
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
15
Rules and Reasoning [E-Book] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
16
Verification, Model Checking, and Abstract Interpretation [E-Book] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
17
Verified Software. Theories, Tools and Experiments. [E-Book] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers /
Lal, Akash
2023
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
18
Dynamic Logic. New Trends and Applications [E-Book] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
19
Software Engineering and Formal Methods [E-Book] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
20
Formal Methods Teaching [E-Book] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:

Narrow Search Results