Search results for "reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link
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