aspects of program analysis formal methods foundations of computability higher-order logic lambda and combinatory calculi linear logic logic in artificial
4 KB (618 words) - 15:21, 19 October 2022
learning scalability of learning algorithms inductive learning inductive logic programming Bayesian networks support vector machines case-based reasoning machine
4 KB (525 words) - 12:17, 11 October 2023
constraint-based reasoning, constraint satisfaction technologies and constraint logic programming. Submission details: -------------------------- Authors are invited
5 KB (718 words) - 13:34, 14 December 2022
constraint-based reasoning, constraint satisfaction technologies and constraint logic programming. Submission details: -------------------------- Authors are invited
5 KB (735 words) - 11:24, 14 December 2022
Intelligent Virtual Environments Knowledge Representation and Reasoning, Logic Programming Knowledge-Based Systems Machine Learning, Neural Nets, Genetic Algorithms
6 KB (907 words) - 15:27, 19 October 2022
architectures, such as BDI agent-oriented programming concepts and abstractions patterns and idioms for agent-oriented programming social, organizational and normative
9 KB (1,268 words) - 13:32, 19 October 2022
of the Journal of Logic and Algebraic Programming (JLAP). Student Program The conference will be accompanied by a PhD training program. Details will be
7 KB (1,020 words) - 15:28, 19 October 2022
Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information
5 KB (751 words) - 15:30, 19 October 2022
(PT) Computer Science Programming SPLASH 2023 2023-10-22 → 2023-10-27 Portugal (PT) Software Engineering Object Oriented Programming Systems SLE 2023 20
808 bytes (10,171 words) - 10:31, 27 November 2023
data Infinite state systems Computation structures Logics of programs Modal, spatial, and temporal logics Models of concurrent, reactive, distributed, and
2 KB (233 words) - 06:31, 1 December 2023
computers, - knowledge representation, - man-machine NL interfaces, - Logic Programming in Natural Language Processing, - speech processing, - NL applications
14 KB (1,993 words) - 13:49, 14 December 2022
Infinite state systems, Computation structures, Logics of programs, Modal, spatial, and temporal logics, Models of concurrent, reactive, distributed, and
2 KB (301 words) - 06:32, 1 December 2023
Infinite state systems Computation structures, Logics of programs, Modal, spatial, and temporal logics, Models of concurrent, reactive, distributed, and
3 KB (459 words) - 06:31, 1 December 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
5 KB (686 words) - 06:35, 1 December 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
5 KB (695 words) - 06:35, 1 December 2023
theory; Semantics of programming languages; Program analysis, correctness, transformation, and verification; Logics of programming; Software specification
5 KB (667 words) - 06:33, 1 December 2023
it/ MOTIVATIONS In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge
5 KB (739 words) - 13:49, 14 December 2022
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
6 KB (830 words) - 06:34, 1 December 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
5 KB (776 words) - 06:33, 1 December 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
5 KB (713 words) - 06:35, 1 December 2023
