Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks + (KI-97: Advances in AI)
- Towards a Systematic Account of Different Logic Programming Semantics + (KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003)
- A formal assessment result for fluent calculus using the action description language A_k + (KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003)
- Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks + (KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003)
- Objects, Specificity, Logic, and Change + (KI–95 Activities: Workshops, Posters, Demos, Gesellschaft für Informatik e.V.)
- Sound Statistical Model Checking for Probabilities and Expected Rewards + (LNCS)
- A Local System for Classical Logic + (LPAR 2001)
- On Structuring Proof Search for First Order Linear Logic + (LPAR 2003)
- Integrating Reactive and Reflexive Reasoning by Generating Rational Models + (LPS-97, Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (DYNAMICS-97))
- Satisfiability for MTL and TPTL over non-monotonic data words + (Language and Automata Theory and Applications: 8th International Conference, LATA 2014)
- A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem + (Language and Automata Theory and Applications)
- Linear Context-Free Tree Languages and Inverse Homomorphisms + (Language and Automata Theory and Applications)
- Approximated Determinisation of Weighted Tree Automata + (Language and Automata Theory and Applications. LATA 2021.)
- Sequentiality of Group-Weighted Tree Automata + (Language and Automata Theory and Applications. LATA 2021.)
- Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts + (Languages for Special Purposes in a Multilingual, Transcultural World, Proceedings of the 19th European Symposium on Languages for Special Purposes, 8-10 July 2013, Vienna, Austria)
- Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación + (Las prácticas científicas: aportes para un enfoque epistemológico)
- Sharing Information in Parallel Search with Search Space Partitioning + (Learning and Intelligent Optimization)
- A Logic-Based Approach to Dynamic Programming + (Learning and Planning in Markov Processes–Advances and Challenges, Papers from the AAAI Workshop)
- Logic Programs under Three-Valued Łukasiewicz's Semantics + (Logic Programming)
- A Purely Logical Account of Sequentiality in Proof Search + (Logic Programming, 18th International Conference)
- A Tutorial on Proof Theoretic Foundations of Logic Programming + (Logic Programming, 19th International Conference)
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms + (Logic and Argumentation)
- A Framework for Intuitionistic Grammar Logics + (Logic and Argumentation)
- Reachability in Continuous-Time Markov Reward Decision Processes + (Logic and Automata: History and Perspectives)
- Approximate OWL Instance Retrieval with Screech + (Logic and Probability for Scene Interpretation)
- Improving Resource-Unaware SAT Solvers + (Logic for Programming, Artificial Intelligence, and Reasoning)
- A Local System for Linear Logic + (Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002)
- A Non-commutative Extension of MELL + (Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002)
- A Neutral Temporal Deontic STIT Logic + (Logic, Rationality, and Interaction)
- Reasoning about Actions Meets Strategic Logics + (Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings)
- An Abductive Model for Human Reasoning (Poster Paper) + (Logical Formalizations of Commonsense Reasoning, Papers from the AAAI 2011 Spring Symposium)
- Cut-Free Calculi and Relational Semantics for Temporal STIT Logics + (Logics in Artificial Intelligence)
- Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis + (Logics in Artificial Intelligence. JELIA 2023)
- On Upper and Lower Bounds on the Length of Alternating Towers + (Mathematical Foundations of Computer Science (MFCS))
- Nonstandard Inferences in Description Logics: The Story So Far + (Mathematical Problems from Applied Logic I)
- Description Logics as Ontology Languages for the Semantic Web + (Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday)
- Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs + (ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday)
- Towards Automated Variant Selection for Heterogeneous Tiled Architectures + (Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday)
- RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming + (NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society)
- Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access + (NASA Formal Methods)
- Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs + (NIPS-97 Workshop on Learning dynamical data structures: From sequences to graphs)
- Intensional Question Answering using ILP: What does an answer mean? + (Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008)
- Neuro-Symbolic Word Tagging + (New Trends in Artificial Intelligence)
- Modeling in OWL 2 without Restrictions + (OWLED)
- Using OWL DL Reasoning to decide about authorization in RBAC + (OWLED '08: Proceedings of the OWLED 2008 Workshop on OWL: Experiences and Directions)
- Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects + (Open Advice)
- A Fully Parallel Framework for Fast Analyzing RDF Data + (P&D Track of the 13th International Semantic Web Conference (ISWC'14))
- Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers + (POS-14)
- New CNF Features and Formula Classification + (POS-14)
- SPARQL Queries over Ontologies Under the Fixed-Domain Semantics + (PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I)
- Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics + (PRIMA 2019: Principles and Practice of Multi-Agent Systems)
- On topological hierarchies of temporal properties + (Partial Order Methods in Verification, Proceedings of a DIMACS Workshop)