Account
Edit tools
Intern
SucheSearch
English

Attribut:Booktitle

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Zeichenkette.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
"
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
Proceedings of the Foundations of Software Science and Computation Structures - 24th International Conference (FOSSACS 2021)  +
A
A Behavioral Characterization of Computational Systems +
Proceedings of the 1rst International Conference of the International Association for Computing and Philosophy  +
A Benchmark Framework for a Computational Argumentation Competition +
Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA)  +
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
Proc. 20th International Conference on World Wide Web (WWW'11)  +
A Brief Introduction to Formal Concept Analysis +
Conceptual Structures in Practice  +
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
Algebraic Informatics  +
A Computational Logic Approach to Syllogisms in Human Reasoning +
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning on the 25th International Conference on Automated Deduction (CADE-25), CEUR Workshop Proceedings (2015) 17–31.  +
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
Proceedings of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning  +
A Computational Logic Approach to the Belief Bias Effect +
14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, July 20-24, 2014  +
A Computational Logic Approach to the Suppression Task +
Proceedings of the 34th Annual Conference of the Cognitive Science Society  +
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning +
17th International Conference on Cognitive Modelling Meetings (ICCM)  +
A Concept Language Extended with Different Kinds of Transitive Roles +
20. Deutsche Jahrestagung für Künstliche Intelligenz  +
A Concept Language for an engeneering application with part-whole relations +
Proceedings of the International Workshop on Description Logics  +
A Conceptual Foundation for Autonomous Learning in Unforeseen Situations +
IEEE International Symposium on Intelligent Control (ISIC/CIRA/ISAS'98)  +
A Correspondance between Temporal Description Logics +
Proceedings of the International Workshop on Description Logics (DL'99)  +
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation +
Workshop on Design and Management of Data Warehouses (DMDW'99)  +
A Data-Driven Graph Schema +
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018  +
A Database Approach for Modeling and Querying Video Data +
Proceedings of the 15th International Conference on Data Engineering, Sydney, Australia  +
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
Proc. of the 13th Int. Symp. on Frontiers of Combining Systems (FROCOS 2021)  +
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms +
Logic and Argumentation  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Booktitle&oldid=163“