|
|
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. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown |
Selection and Configuration of Parallel Portfolios. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Parallel Answer Set Programming. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Charles Régin, Arnaud Malapert |
Parallel Constraint Programming. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Marijn J. H. Heule, Oliver Kullmann, Armin Biere |
Cube-and-Conquer for Satisfiability. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Inês Lynce, Vasco M. Manquinho, Ruben Martins |
Parallel Maximum Satisfiability. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Florian Lonsing, Martina Seidl |
Parallel Solving of Quantified Boolean Formulas. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ted K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch |
Parallel Solvers for Mixed Integer Linear Optimization. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz 0002 |
Parallel Model-Based Diagnosis. |
Handbook of Parallel Constraint Reasoning |
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. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Maria Paola Bonacina |
Parallel Theorem Proving. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Tom van Dijk, Jaco van de Pol |
Multi-core Decision Diagrams. |
Handbook of Parallel Constraint Reasoning |
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. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Alex Fukunaga, Adi Botea, Yuu Jinnai, Akihiro Kishimoto |
Parallel A* for State-Space Search. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Tomás Balyo, Carsten Sinz |
Parallel Satisfiability. |
Handbook of Parallel Constraint Reasoning |
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. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Philippe Codognet, Danny Munera, Daniel Diaz 0001, Salvador Abreu |
Parallel Local Search. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Closing the gap between the specification and the implementation: the ASMETA way. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Alexander Bienemann |
Misunderstandings and Their Overwhelming Success. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Attila Sali |
Recent Developments in Armstrong Codes. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Bernhard Thalheim |
Normal Models and Their Modelling Matrix. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Antje Raab-Düsterhöft |
Integrating Social Media Information into the Digital Forensic Investigation Process. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres |
Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Andreea Buga, Sorana Tania Nemes, Atif Mashkoor |
Addressing Client Needs for Cloud Computing using Formal Foundations. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Jean-Pierre Jacquot, Atif Mashkoor |
The Role of Validation in Refinement-Based Formal Software Development. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Hui Ma 0001, Zhaojiang Chang, Alexandre Sawczuk da Silva, Sven Hartmann |
QoS-Aware Web Service Composition Using Graph Databases. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Sven Hartmann, Markus Kirchberg, Henning Koehler, Uwe Leck, Sebastian Link |
Extremal Combinatorics of SQL Keys. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
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. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
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. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Richard Banach, Wen Su |
Cyberphysical Systems: A Behind-the-Scenes Foundational View. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Yannic Ole Kropp, Bernhard Thalheim |
Viewpoint-Oriented Data Management in Collaborative Research Projects. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Stephen J. Hegner |
Tolerant Constraint-Preserving Snapshot Isolation: Extended Concurrency for Interactive Transactions. |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
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. |
Reasoning Web |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Janke, Steffen Staab |
Storing and Querying Semantic Data in the Cloud. |
Reasoning Web |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Hannah Bast, Niklas Schnelle |
Efficient and Convenient SPARQL+Text Search: A Quick Survey. |
Reasoning Web |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Emanuele Della Valle, Riccardo Tommasini 0001, Marco Balduini |
Engineering of Web Stream Processing Applications. |
Reasoning Web |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Heiko Paulheim |
Machine Learning with and for Semantic Web Knowledge Graphs. |
Reasoning Web |
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 |
Reasoning Web |
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 |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Juan F. Sequeda |
Integrating Relational Databases with the Semantic Web: A Reflection. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Calì |
Ontology Querying: Datalog Strikes Back. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl |
Answer Set Programming with External Source Access. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Neumaier, Axel Polleres, Simon Steyskal, Jürgen Umbrich |
Data Integration for Open Data on the Web. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso |
OBDA for Log Extraction in Process Mining. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Giorgos B. Stamou, Alexandros Chortaras |
Ontological Query Answering over Semantic Data. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Roland Kaminski, Torsten Schaub, Philipp Wanko |
A Tutorial on Hybrid Answer Set Solving with clingo. |
Reasoning Web |
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. |
Ethical Reasoning in Big Data |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Lee Rainie |
The Privacy Preferences of Americans. |
Ethical Reasoning in Big Data |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin E. Berkman, Zachary E. Shapiro, Lisa Eckstein, Elizabeth R. Pike |
The Ethics of Large-Scale Genomic Research. |
Ethical Reasoning in Big Data |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Diane DiEuliis, James Giordano |
Neurotechnological Convergence and "Big Data": A Force-Multiplier Toward Advancing Neuroscience. |
Ethical Reasoning in Big Data |
2016 |
DBLP DOI BibTeX RDF |
|
20 | J. C. Smart |
Technology for Privacy Assurance. |
Ethical Reasoning in Big Data |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Jeff Collmann, Sorin Adam Matei |
Introduction. |
Ethical Reasoning in Big Data |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Lisa Singh |
Data Ethics - Attaining Personal Privacy on the Web. |
Ethical Reasoning in Big Data |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Michael Steinmann, Sorin Adam Matei, Jeff Collmann |
A Theoretical Framework for Ethical Reflection in Big Data Research. |
Ethical Reasoning in Big Data |
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. |
Reasoning Web |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Juan L. Reutter, Domagoj Vrgoc |
Navigational and Rule-Based Languages for Graph Databases. |
Reasoning Web |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Meghyn Bienvenu, Camille Bourgaux |
Inconsistency-Tolerant Querying of Description Logic Knowledge Bases. |
Reasoning Web |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Wouter Beek, Laurens Rietveld, Filip Ilievski, Stefan Schlobach |
LOD Lab: Scalable Linked Data Processing. |
Reasoning Web |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Umberto Straccia, Fernando Bobillo |
From Fuzzy to Annotated Semantic Web Languages. |
Reasoning Web |
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. |
Reasoning Web |
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 |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Johan van Benthem |
Logic of Strategies: What and How? |
Models of Strategic Reasoning |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Jan van Eijck |
Strategies in Social Software. |
Models of Strategic Reasoning |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Michael Franke, Robert van Rooij |
Strategies of Persuasion, Manipulation and Propaganda: Psychological and Social Aspects. |
Models of Strategic Reasoning |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Soumya Paul, Ramaswamy Ramanujam, Sunil Simon |
Automata and Compositional Strategies in Extensive Form Games. |
Models of Strategic Reasoning |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Sandu |
Languages for Imperfect Information. |
Models of Strategic Reasoning |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Jan M. Broersen, Andreas Herzig |
Using STIT Theory to Talk About Strategies. |
Models of Strategic Reasoning |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Eric Pacuit |
Dynamic Models of Rational Deliberation in Games. |
Models of Strategic Reasoning |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Umberto Straccia |
All About Fuzzy Description Logics and Applications. |
Reasoning Web |
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). |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Christoph Benzmüller, Bruno Woltzenlogel Paleo |
Higher-Order Modal Logics: Automation and Applications. |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Meghyn Bienvenu, Magdalena Ortiz 0001 |
Ontology-Mediated Query Answering with Data-Tractable Description Logics. |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Tara Athan, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner |
LegalRuleML: Design Principles and Foundations. |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Harold Boley |
PSOA RuleML: Integrated Object-Relational Data and Rules. |
Reasoning Web |
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. |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Tommaso Di Noia, Vito Claudio Ostuni |
Recommender Systems and Linked Open Data. |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Georg Gottlob, Michael Morak, Andreas Pieris |
Recent Advances in Datalog ^\pm. |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Thierry Boy de la Tour, Nicolas Peltier |
Analogy in Automated Deduction: A Survey. |
Computational Approaches to Analogical Reasoning |
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. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Marco Ragni, Stefanie Neubert |
Analyzing Raven's Intelligence Test: Cognitive Model, Demand, and Complexity. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Martin Schmidt 0002, Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger |
Heuristic-Driven Theory Projection: An Overview. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Georgi Stojanov, Bipin Indurkhya |
Perceptual Similarity and Analogy in Creativity and Cognitive Development. |
Computational Approaches to Analogical Reasoning |
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. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Steven Schockaert, Henri Prade |
Completing Symbolic Rule Bases Using Betweenness and Analogical Proportion. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Yves Lepage |
Analogies Between Binary Images: Application to Chinese Characters. |
Computational Approaches to Analogical Reasoning |
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. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Henri Prade, Gilles Richard |
From Analogical Proportion to Logical Proportions: A Survey. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Swaroop Vattam, Ashok K. Goel 0001 |
An Information-Processing Theory of Interactive Analogical Retrieval. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Tony Veale, Guofu Li |
Analogy as an Organizational Principle in the Construction of Large Knowledge-Bases. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Keith McGreggor, Ashok K. Goel 0001 |
A Computational Strategy for Fractal Analogies in Visual Perception. |
Computational Approaches to Analogical Reasoning |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Maria Paola Bonacina, Mark E. Stickel (eds.) |
Automated Reasoning and Mathematics - Essays in Memory of William W. McCune |
Automated Reasoning and Mathematics |
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 |
Reasoning Web |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Ruggero Pagnan |
A Diagrammatic Calculus of Syllogisms. |
Visual Reasoning with Diagrams |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Zach Weber |
Figures, Formulae, and Functors. |
Visual Reasoning with Diagrams |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Valeria Giardino |
A Practice-Based Approach to Diagrams. |
Visual Reasoning with Diagrams |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Richard Bosley |
The Geometry of Diagrams and the Logic of Syllogisms. |
Visual Reasoning with Diagrams |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mitsuko Wate-Mizuno |
Representation of Graphs in Diagrams of Graph Theory. |
Visual Reasoning with Diagrams |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Catherine Legg |
What is a Logical Diagram? |
Visual Reasoning with Diagrams |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Amirouche Moktefi |
Beyond Syllogisms: Carroll's (Marked) Quadriliteral Diagram. |
Visual Reasoning with Diagrams |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Ferdinando Cavaliere |
A Diagrammatic Bridge Between Standard and Non-standard Logics: The Numerical Segment. |
Visual Reasoning with Diagrams |
2013 |
DBLP DOI BibTeX RDF |
|
|
|