Attribut:Journal

Aus International Center for Computational Logic

Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Zeichenkette.

Annotationen289

vorherige 20 20 50 100 250 500 nächste 20

Filter<p>Der <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">Filter für die Suche nach Datenwerten zu Attributen</a> unterstützt die Nutzung von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">Abfrageausdrücken</a> wie bpsw. <code>~</code> oder <code>!</code>. Je nach genutzter <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">Abfragedatenbank</a> werden auch die groß- und kleinschreibungsunabhängige Suche oder auch folgende weitere Abfrageausdrücke unterstützt:</p><ul><li><code>in:</code>: Das Ergebnis soll den angegebenen Begriff enthalten, wie bspw. <code>in:Foo</code></li></ul><ul><li><code>not:</code>: Das Ergebnis soll den angegebenen Begriff nicht enthalten, wie bpsw. <code>not:Bar</code></li></ul>

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.

(

(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +

Artificial Intelligence +

2

2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +

Journal of Symbolic Logic +

?

Fortschritte in der Künstlichen Intelligenz, Dresden University Press +

A

A "Converse" of the Banach Contraction Mapping Theorem +

Journal of Electrical Engineering, Slovak Academy of Sciences +

A Closer Look at the Semantic Relationship between Datalog and Description Logics +

Semantic Web Journal +

A Core Method for the Weak Completion Semantics with Skeptical Abduction +

Journal of Artificial Intelligence Research Special Track on Deep Learning, Knowledge Representation, and Reasoning +

A Correspondence between Temporal Description Logics +

Journal of Applied Non-Classical Logic +

A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report +

Italian Association for Artificial Intelligence AI*IA Notizie +

A Description Logic with Concrete Domains and Role-forming Predicates +

Journal of Logic and Computation +

A Description Logic with Transitive and Inverse Roles and Role Hierarchies +

Journal of Logic and Computation +

A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages +

J. of Logic and Computation +

A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed +

Acta Anatomica +

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations +

Journal of Philosophical Logic +

A Modified Supervaluationist Framework for Decision-Making +

Logos & Episteme +

A Multi-Dimensional Terminological Knowledge Representation Language +

J. Applied Non-Classical Logics +

A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata +

International Journal of Foundations of Computer Science +

A Note on Unification Type Zero +

Information Processing Letters +

A Tableau Algorithm for DLs with Concrete Domains and GCIs +

Journal of Automated Reasoning +

A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes +

Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods +

A Tableau Decision Algorithm for Modalized ALC with Constant Domains +

Studia Logica +

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Journal&oldid=171“