Attribut:Publication text en

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

This property holds the complete Text blob that is used to display a publication.

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
A
Steffen Hölldobler<br /> '''[[Misc3044/en|A Computational Logic Approach to Human Reasoning]]''' <br />__NOTOC__Simon Fraser University, Vancouver, Canada, March 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Misc3044|Details]]  +
Emmanuelle-Anna Dietz<br/> '''[[Inproceedings3039/en|<b>A Computational Logic Approach to Syllogisms in Human Reasoning</b>]]''' <br/>__NOTOC__In Ulrich Furbach, Claudia Schon, eds., <i>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.</i>, 17-31, 2015<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3039|Details]]  +
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni<br /> '''[[WVPub171/en|A Computational Logic Approach to the Abstract and the Social Case of the Selection Task]]''' <br />__NOTOC__Technical Report, ''Technische Universität Dresden'', volume 3, 2013<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub171|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:dietz:hoelldobler:ragni:submitted.pdf|Download]]  +
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni<br/> '''[[WVPub301/en|<b>A Computational Logic Approach to the Abstract and the Social Case of the Selection Task</b>]]''' <br/>__NOTOC__<i>Proceedings of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning</i>, 2013<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub301|Details]]  +
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler<br/> '''[[WVPub13/en|<b>A Computational Logic Approach to the Belief Bias Effect</b>]]''' <br/>__NOTOC__In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds., <i>14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, July 20-24, 2014</i>, 2014. AAAI Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub13|Details]]  +
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni<br /> '''[[WVPub186/en|A Computational Logic Approach to the Suppression Task]]''' <br />__NOTOC__Technical Report, ''TU Dresden, Knowledge Representation and Reasoning'', 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub186|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Diezt:12:CoSi.pdf|Download]]  +
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni<br/> '''[[WVPub358/en|<b>A Computational Logic Approach to the Suppression Task</b>]]''' <br/>__NOTOC__In N. Miyake D. Peebles and R. P. Cooper, eds., <i>Proceedings of the 34th Annual Conference of the Cognitive Science Society</i>, 1500-1505, 2012. Cognitive Science Society<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub358|Details]]  +
Julia Mertesdorf, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni<br/> '''[[Inproceedings3238/en|<b>A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning</b>]]''' <br/>__NOTOC__<i>17th International Conference on Cognitive Modelling Meetings (ICCM)</i>, 2019<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3238|Details]]  +
Ulrike Sattler<br/> '''[[LATPub91/en|<b>A Concept Language Extended with Different Kinds of Transitive Roles</b>]]''' <br/>__NOTOC__In G. Görz and S. Hölldobler, eds., <i>20. Deutsche Jahrestagung für Künstliche Intelligenz</i>, Lecture Notes in Artificial Intelligence, 1996. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub91|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Sattler-KI-96.ps.gz|Download]]  +
Ulrike Sattler<br/> '''[[LATPub73/en|<b>A Concept Language for an engeneering application with part-whole relations</b>]]''' <br/>__NOTOC__In A. Borgida and M. Lenzerini and D. Nardi and B. Nebel, eds., <i>Proceedings of the International Workshop on Description Logics</i>, 119-123, 1995<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub73|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Sattler-DL-95.ps.gz|Download]]  +
Catriona M. Kennedy<br/> '''[[WVPub102/en|<b>A Conceptual Foundation for Autonomous Learning in Unforeseen Situations</b>]]''' <br/>__NOTOC__<i>IEEE International Symposium on Intelligent Control (ISIC/CIRA/ISAS'98)</i>, September 1998<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub102|Details]]  +
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Kencana Ramli, Luis Palacios Medinacelli<br/> '''[[Article3054/en|A Core Method for the Weak Completion Semantics with Skeptical Abduction]]''' <br/>__NOTOC__Journal of Artificial Intelligence Research Special Track on Deep Learning, Knowledge Representation, and Reasoning, 63:51-86, 2018<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3054|Details]]  +
A. Artale, Carsten Lutz<br/> '''[[LATPub173/en|<b>A Correspondance between Temporal Description Logics</b>]]''' <br/>__NOTOC__In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., <i>Proceedings of the International Workshop on Description Logics (DL'99)</i>, CEUR-WS, 145-149,  1999. Linköping University<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub173|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:ArtaleLutz-DL-99.ps.gz|Download]]  +
A. Artale, Carsten Lutz<br/> '''[[LATPub301/en|A Correspondence between Temporal Description Logics]]''' <br/>__NOTOC__Journal of Applied Non-Classical Logic, 14(1--2):209-233, 2004<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub301|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:ArtaleLutzJANCL04.ps.gz|Download]]  +
E. Franconi, Ulrike Sattler<br/> '''[[LATPub160/en|<b>A Data Warehouse Conceptual Data Model for Multidimensional Aggregation</b>]]''' <br/>__NOTOC__<i>Workshop on Design and Management of Data Warehouses (DMDW'99)</i>, June 1999<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub160|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:FranconiSattler-DMDW99.ps.gz|Download]]  +
E. Franconi, Ulrike Sattler<br/> '''[[LATPub161/en|A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report]]''' <br/>__NOTOC__Italian Association for Artificial Intelligence AI*IA Notizie, 1:9-21, 1999<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub161|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:FranconiSattler-AIIA99.ps.gz|Download]]  +
Larry González, Aidan Hogan<br/> '''[[Inproceedings3046/en|<b>A Data-Driven Graph Schema</b>]]''' <br/>__NOTOC__<i>Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018</i>, May 2018<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3046|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:2018-amw-graph-schema.pdf|Download]]  +
Cyril Decleir, Mohand-Saïd Hacid, Jacques Kouloumdjian<br/> '''[[LATPub162/en|<b>A Database Approach for Modeling and Querying Video Data</b>]]''' <br/>__NOTOC__In Masaru Kitsuregawa and Leszek Maciaszek and Mike Papazoglou, eds., <i>Proceedings of the 15th International Conference on Data Engineering, Sydney, Australia</i>, 6-13, March 1999. IEEE Computer Society<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub162|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:DecleirHacid+-ICDE-99.ps.gz|Download]]  +
C. Decleir, M.-S. Hacid, J. Kouloumdjian<br /> '''[[LATPub636/en|A Database Approach for Modeling and Querying Video Data]]''' <br />__NOTOC__Technical Report, ''LuFg Theoretical Computer Science, RWTH Aachen'', volume LTCS-99-03, 1999. ''LTCS-Report''<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub636|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:DecleirHacid+-LTCS-99-03.ps.gz|Download]]  +
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach<br/> '''[[Inproceedings3294/en|<b>A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic</b>]]''' <br/>__NOTOC__In Boris Konev, Giles Reger, eds., <i>Proc. of the 13th Int. Symp. on Frontiers of Combining Systems (FROCOS 2021)</i>, volume 12941 of LNCS, 3-24, 2021. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3294|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Bromberger-et-al-Datalog-simple-linear-arithmetic.pdf|Download]]  +