|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13906 occurrences of 4505 keywords
|
|
|
Results
Found 44759 publication records. Showing 44759 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Antti E. J. Hyvärinen, Christoph M. Wintersteiger |
Parallel Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 141-178, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown |
Selection and Configuration of Parallel Portfolios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 583-615, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Parallel Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 237-282, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Charles Régin, Arnaud Malapert |
Parallel Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 337-379, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Marijn J. H. Heule, Oliver Kullmann, Armin Biere |
Cube-and-Conquer for Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 31-59, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Inês Lynce, Vasco M. Manquinho, Ruben Martins |
Parallel Maximum Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 61-99, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Florian Lonsing, Martina Seidl |
Parallel Solving of Quantified Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 101-139, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ted K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch |
Parallel Solvers for Mixed Integer Linear Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 283-336, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz 0002 |
Parallel Model-Based Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 547-580, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault |
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 457-507, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Maria Paola Bonacina |
Parallel Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 179-235, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Tom van Dijk, Jaco van de Pol |
Multi-core Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 509-545, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti |
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 617-632, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Alex Fukunaga, Adi Botea, Yuu Jinnai, Akihiro Kishimoto |
Parallel A* for State-Space Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 419-455, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Tomás Balyo, Carsten Sinz |
Parallel Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 3-29, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Arbelaez, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001 |
Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 633-665, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Philippe Codognet, Danny Munera, Daniel Diaz 0001, Salvador Abreu |
Parallel Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 381-417, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Closing the gap between the specification and the implementation: the ASMETA way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 242-263, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Alexander Bienemann |
Misunderstandings and Their Overwhelming Success. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 330-335, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Attila Sali |
Recent Developments in Armstrong Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 311-329, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Bernhard Thalheim |
Normal Models and Their Modelling Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 44-74, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Antje Raab-Düsterhöft |
Integrating Social Media Information into the Digital Forensic Investigation Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 29-43, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres |
Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 92-121, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Andreea Buga, Sorana Tania Nemes, Atif Mashkoor |
Addressing Client Needs for Cloud Computing using Formal Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 264-285, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Jean-Pierre Jacquot, Atif Mashkoor |
The Role of Validation in Refinement-Based Formal Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 202-219, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Hui Ma 0001, Zhaojiang Chang, Alexandre Sawczuk da Silva, Sven Hartmann |
QoS-Aware Web Service Composition Using Graph Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 336-351, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Sven Hartmann, Markus Kirchberg, Henning Koehler, Uwe Leck, Sebastian Link |
Extremal Combinatorics of SQL Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 75-91, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Ajantha Dahanayake, Bernhard Thalheim |
Development of Conceptual Models and the Knowledge Background Provided by the Rigor Cycle in Design Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 3-28, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Verena Geist, Felix Kossak, Christine Natschläger, Christa Illibauer, Thomas Ziebermayr, Atif Mashkoor |
Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 220-241, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Richard Banach, Wen Su |
Cyberphysical Systems: A Behind-the-Scenes Foundational View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 177-201, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Yannic Ole Kropp, Bernhard Thalheim |
Viewpoint-Oriented Data Management in Collaborative Research Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 146-176, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Stephen J. Hegner |
Tolerant Constraint-Preserving Snapshot Isolation: Extended Concurrency for Interactive Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 122-145, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Hendrik ter Horst, Matthias Hartung, Philipp Cimiano |
Cold-Start Knowledge Base Population Using Ontology-Based Information Extraction with Conditional Random Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Learning, Uncertainty, Streaming, and Scalability - 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures, pp. 78-109, 2018, Springer, 978-3-030-00337-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Janke, Steffen Staab |
Storing and Querying Semantic Data in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Learning, Uncertainty, Streaming, and Scalability - 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures, pp. 173-222, 2018, Springer, 978-3-030-00337-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Hannah Bast, Niklas Schnelle |
Efficient and Convenient SPARQL+Text Search: A Quick Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Learning, Uncertainty, Streaming, and Scalability - 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures, pp. 26-34, 2018, Springer, 978-3-030-00337-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Emanuele Della Valle, Riccardo Tommasini 0001, Marco Balduini |
Engineering of Web Stream Processing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Learning, Uncertainty, Streaming, and Scalability - 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures, pp. 223-226, 2018, Springer, 978-3-030-00337-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Heiko Paulheim |
Machine Learning with and for Semantic Web Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Learning, Uncertainty, Streaming, and Scalability - 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures, pp. 110-141, 2018, Springer, 978-3-030-00337-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber 0001, Birte Glimm, Georg Gottlob, Steffen Staab (eds.) |
Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![Springer, 978-3-319-61032-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks 0001, Michael Kifer, Fangzhen Lin, Yuting Zhao (eds.) |
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![Springer, 978-3-319-49492-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Juan F. Sequeda |
Integrating Relational Databases with the Semantic Web: A Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures, pp. 68-120, 2017, Springer, 978-3-319-61032-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Calì |
Ontology Querying: Datalog Strikes Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures, pp. 64-67, 2017, Springer, 978-3-319-61032-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl |
Answer Set Programming with External Source Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures, pp. 204-275, 2017, Springer, 978-3-319-61032-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Neumaier, Axel Polleres, Simon Steyskal, Jürgen Umbrich |
Data Integration for Open Data on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures, pp. 1-28, 2017, Springer, 978-3-319-61032-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso |
OBDA for Log Extraction in Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures, pp. 292-345, 2017, Springer, 978-3-319-61032-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Giorgos B. Stamou, Alexandros Chortaras |
Ontological Query Answering over Semantic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures, pp. 29-63, 2017, Springer, 978-3-319-61032-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Roland Kaminski, Torsten Schaub, Philipp Wanko |
A Tutorial on Hybrid Answer Set Solving with clingo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures, pp. 167-203, 2017, Springer, 978-3-319-61032-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jeff Collmann, Kevin T. FitzGerald, Samantha Wu, Joel Kupersmith, Sorin Adam Matei |
Data Management Plans, Institutional Review Boards, and the Ethical Management of Big Data About Human Subjects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ethical Reasoning in Big Data ![In: Ethical Reasoning in Big Data - An Exploratory Analysis, pp. 141-184, 2016, Springer, 978-3-319-28420-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Lee Rainie |
The Privacy Preferences of Americans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ethical Reasoning in Big Data ![In: Ethical Reasoning in Big Data - An Exploratory Analysis, pp. 31-41, 2016, Springer, 978-3-319-28420-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin E. Berkman, Zachary E. Shapiro, Lisa Eckstein, Elizabeth R. Pike |
The Ethics of Large-Scale Genomic Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ethical Reasoning in Big Data ![In: Ethical Reasoning in Big Data - An Exploratory Analysis, pp. 53-69, 2016, Springer, 978-3-319-28420-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Diane DiEuliis, James Giordano |
Neurotechnological Convergence and "Big Data": A Force-Multiplier Toward Advancing Neuroscience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ethical Reasoning in Big Data ![In: Ethical Reasoning in Big Data - An Exploratory Analysis, pp. 71-80, 2016, Springer, 978-3-319-28420-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | J. C. Smart |
Technology for Privacy Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ethical Reasoning in Big Data ![In: Ethical Reasoning in Big Data - An Exploratory Analysis, pp. 93-114, 2016, Springer, 978-3-319-28420-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Jeff Collmann, Sorin Adam Matei |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ethical Reasoning in Big Data ![In: Ethical Reasoning in Big Data - An Exploratory Analysis, pp. 1-7, 2016, Springer, 978-3-319-28420-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Lisa Singh |
Data Ethics - Attaining Personal Privacy on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ethical Reasoning in Big Data ![In: Ethical Reasoning in Big Data - An Exploratory Analysis, pp. 81-90, 2016, Springer, 978-3-319-28420-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Michael Steinmann, Sorin Adam Matei, Jeff Collmann |
A Theoretical Framework for Ethical Reflection in Big Data Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ethical Reasoning in Big Data ![In: Ethical Reasoning in Big Data - An Exploratory Analysis, pp. 11-27, 2016, Springer, 978-3-319-28420-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Jeff Z. Pan, Nicolas Matentzoglu, Caroline Jay, Markel Vigo, Yuting Zhao |
Understanding Author Intentions: Test Driven Knowledge Graph Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures, pp. 1-26, 2016, Springer, 978-3-319-49492-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Juan L. Reutter, Domagoj Vrgoc |
Navigational and Rule-Based Languages for Graph Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures, pp. 90-123, 2016, Springer, 978-3-319-49492-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Meghyn Bienvenu, Camille Bourgaux |
Inconsistency-Tolerant Querying of Description Logic Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures, pp. 156-202, 2016, Springer, 978-3-319-49492-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Wouter Beek, Laurens Rietveld, Filip Ilievski, Stefan Schlobach |
LOD Lab: Scalable Linked Data Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures, pp. 124-155, 2016, Springer, 978-3-319-49492-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Umberto Straccia, Fernando Bobillo |
From Fuzzy to Annotated Semantic Web Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures, pp. 203-240, 2016, Springer, 978-3-319-49492-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures, pp. 27-89, 2016, Springer, 978-3-319-49492-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Wolfgang Faber 0001, Adrian Paschke (eds.) |
Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![Springer, 978-3-319-21767-3 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Johan van Benthem |
Logic of Strategies: What and How? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models of Strategic Reasoning ![In: Models of Strategic Reasoning - Logics, Games, and Communities, pp. 321-332, 2015, Springer, 978-3-662-48539-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Jan van Eijck |
Strategies in Social Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models of Strategic Reasoning ![In: Models of Strategic Reasoning - Logics, Games, and Communities, pp. 292-317, 2015, Springer, 978-3-662-48539-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Michael Franke, Robert van Rooij |
Strategies of Persuasion, Manipulation and Propaganda: Psychological and Social Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models of Strategic Reasoning ![In: Models of Strategic Reasoning - Logics, Games, and Communities, pp. 255-291, 2015, Springer, 978-3-662-48539-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Soumya Paul, Ramaswamy Ramanujam, Sunil Simon |
Automata and Compositional Strategies in Extensive Form Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models of Strategic Reasoning ![In: Models of Strategic Reasoning - Logics, Games, and Communities, pp. 174-201, 2015, Springer, 978-3-662-48539-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Sandu |
Languages for Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models of Strategic Reasoning ![In: Models of Strategic Reasoning - Logics, Games, and Communities, pp. 202-251, 2015, Springer, 978-3-662-48539-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Jan M. Broersen, Andreas Herzig |
Using STIT Theory to Talk About Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models of Strategic Reasoning ![In: Models of Strategic Reasoning - Logics, Games, and Communities, pp. 137-173, 2015, Springer, 978-3-662-48539-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Eric Pacuit |
Dynamic Models of Rational Deliberation in Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models of Strategic Reasoning ![In: Models of Strategic Reasoning - Logics, Games, and Communities, pp. 3-33, 2015, Springer, 978-3-662-48539-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Umberto Straccia |
All About Fuzzy Description Logics and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, pp. 1-31, 2015, Springer, 978-3-319-21767-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin N. Grosof, Michael Kifer, Paul Fodor |
The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, pp. 189-192, 2015, Springer, 978-3-319-21767-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Christoph Benzmüller, Bruno Woltzenlogel Paleo |
Higher-Order Modal Logics: Automation and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, pp. 32-74, 2015, Springer, 978-3-319-21767-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Meghyn Bienvenu, Magdalena Ortiz 0001 |
Ontology-Mediated Query Answering with Data-Tractable Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, pp. 218-307, 2015, Springer, 978-3-319-21767-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Tara Athan, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner |
LegalRuleML: Design Principles and Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, pp. 151-188, 2015, Springer, 978-3-319-21767-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Harold Boley |
PSOA RuleML: Integrated Object-Relational Data and Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, pp. 114-150, 2015, Springer, 978-3-319-21767-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Nicola Leone, Francesco Ricca |
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, pp. 308-326, 2015, Springer, 978-3-319-21767-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Tommaso Di Noia, Vito Claudio Ostuni |
Recommender Systems and Linked Open Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, pp. 88-113, 2015, Springer, 978-3-319-21767-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Georg Gottlob, Michael Morak, Andreas Pieris |
Recent Advances in Datalog ^\pm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, pp. 193-217, 2015, Springer, 978-3-319-21767-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Thierry Boy de la Tour, Nicolas Peltier |
Analogy in Automated Deduction: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 103-130, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Laurent Miclet, Nelly Barbot, Baptiste Jeudy |
Analogical Proportions in a Lattice of Sets of Alignments Built on the Common Subwords in a Finite Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 245-260, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Marco Ragni, Stefanie Neubert |
Analyzing Raven's Intelligence Test: Cognitive Model, Demand, and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 351-370, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Martin Schmidt 0002, Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger |
Heuristic-Driven Theory Projection: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 163-194, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Georgi Stojanov, Bipin Indurkhya |
Perceptual Similarity and Analogy in Creativity and Cognitive Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 371-395, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Ute Schmid, Lukas Berle, Michael Munz 0002, Klaus Stein, Martin Sticht |
How Similar is What I Get to What I Want: Matchmaking for Mobility Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 263-287, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Steven Schockaert, Henri Prade |
Completing Symbolic Rule Bases Using Betweenness and Analogical Proportion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 195-215, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Yves Lepage |
Analogies Between Binary Images: Application to Chinese Characters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 25-57, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Philippe Langlais, François Yvon |
Issues in Analogical Inference Over Sequences of Symbols: A Case Study on Proper Name Transliteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 59-82, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Henri Prade, Gilles Richard |
From Analogical Proportion to Logical Proportions: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 217-244, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Swaroop Vattam, Ashok K. Goel 0001 |
An Information-Processing Theory of Interactive Analogical Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 323-349, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Tony Veale, Guofu Li |
Analogy as an Organizational Principle in the Construction of Large Knowledge-Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 83-101, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Keith McGreggor, Ashok K. Goel 0001 |
A Computational Strategy for Fractal Analogies in Visual Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Approaches to Analogical Reasoning ![In: Computational Approaches to Analogical Reasoning: Current Trends, pp. 289-321, 2014, Springer, 978-3-642-54515-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Maria Paola Bonacina, Mark E. Stickel (eds.) |
Automated Reasoning and Mathematics - Essays in Memory of William W. McCune ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning and Mathematics ![Springer, 978-3-642-36674-1 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Rudolph, Georg Gottlob, Ian Horrocks 0001, Frank van Harmelen (eds.) |
Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![Springer, 978-3-642-39783-7 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Ruggero Pagnan |
A Diagrammatic Calculus of Syllogisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 33-53, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Zach Weber |
Figures, Formulae, and Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 153-170, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Valeria Giardino |
A Practice-Based Approach to Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 135-151, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Richard Bosley |
The Geometry of Diagrams and the Logic of Syllogisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 19-31, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mitsuko Wate-Mizuno |
Representation of Graphs in Diagrams of Graph Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 171-200, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Catherine Legg |
What is a Logical Diagram? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 1-18, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Amirouche Moktefi |
Beyond Syllogisms: Carroll's (Marked) Quadriliteral Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 55-71, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Ferdinando Cavaliere |
A Diagrammatic Bridge Between Standard and Non-standard Logics: The Numerical Segment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 73-81, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
|
|