Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Bridging@IJCAI"( http://dblp.L3S.de/Venues/Bridging@IJCAI )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ijcai

Publication years (Num. hits)
2016 (9)
Publication types (Num. hits)
inproceedings(8) proceedings(1)
Venues (Conferences, Journals, ...)
Bridging@IJCAI(9)
Authors
Ulrich Furbach(3) Claudia Schon(2) Emmanuelle-Anna Dietz(2) Marco Ragni(2) Steffen Hölldobler(2) Aaron Sloman(1) Ana Oliveira da Costa(1) Antonis C. Kakas(1) Christian Freksa(1) Florian Furbach(1) Francesca Toni(1) Ilir Kola(1) Loizos Michael(1) Naveen Sundar Govindarajulu(1) Sangeet Khemlani(1) Selmer Bringsjord(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Claudia Schon, Ulrich Furbach (eds.) Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9, 2016. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni Syllogistic Reasoning under the Weak Completion Semantics. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco Ragni, Emmanuelle-Anna Dietz, Ilir Kola, Steffen Hölldobler Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Sangeet Khemlani Automating Human Inference. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Schon Commonsense Reasoning Meets Theorem Proving. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ulrich Furbach, Florian Furbach, Christian Freksa Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Aaron Sloman Natural Vision and Mathematics: Seeing Impossibilities. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Naveen Sundar Govindarajulu, Selmer Bringsjord Crowdsourcing Theorem Proving via Natural Games. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Antonis C. Kakas, Loizos Michael, Francesca Toni Argumentation: Reconciling Human and Automated Reasoning. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license