Suche mittels Attribut

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

• 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 Non-commutative Extension of MELL  + (Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002)
• A Local System for Linear Logic  + (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)
• Automated Performance and Dependability Evaluation Using Model Checking  + (Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures)
• A Description Logic Primer  + (Perspectives on Ontology Learning)
• Temporal Query Answering in a Fuzzy World  + (Posters&Demos@SEMANTiCS 2015 and DSci15 Workshop)
• Towards Improving the Resource Usage of SAT-solvers  + (Pragmatics of SAT (POS))
• The SAT Solver Framework priss (System Description)  + (Pragmatics of SAT 2012(POS'12))
• npSolver - a SAT based Solver for Optimization Problems (System Description)  + (Pragmatics of SAT 2012(POS'12))
• Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers  + (Pragmatics of SAT 2014)
• Modern Cooperative Parallel SAT Solving  + (Pragmatics of SAT(POS'13))
• Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning  + (Pragmatics of SAT(POS'13))
• Parallel Variable Elimination on CNF Formulas  + (Pragmatics of SAT(POS'13))
• Reasoning with Axioms: Theory and Practice  + (Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000))
• Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2  + (Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10))
• Status QIO: Conjunctive Query Entailment is Decidable  + (Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10))
• Exact Learning of Lightweight Description Logic Ontologies  + (Principles of Knowledge Representation and Reasoning)
• On the Foundations of Cycles in Bayesian Networks  + (Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday)
• Model Checking Markov Chains as Distribution Transformers  + (Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II)
• ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web  + (Proc. 10th International Semantic Web Conference (ISWC'11))
• Concurrent Classification of EL Ontologies  + (Proc. 10th International Semantic Web Conference (ISWC'11))
• The Not-So-Easy Task of Computing Class Subsumptions in OWL RL  + (Proc. 11th International Semantic Web Conference (ISWC'11))
• On the Succinctness of Closure Operator Representations  + (Proc. 12th International Conference on Formal Concept Analysis (ICFCA 2014))