The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "INAP/WLP"( http://dblp.L3S.de/Venues/INAP/WLP )

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

Publication years (Num. hits)
2004 (20) 2005-2007 (18) 2009-2011 (22) 2013 (1)
Publication types (Num. hits)
inproceedings(58) proceedings(3)
Venues (Conferences, Journals, ...)
INAP/WLP(61)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 61 publication records. Showing 61 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf (eds.) Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers Search on Bibsonomy INAP/WLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine Translating Nondeterministic Functional Language Based on Attribute Grammars into Java. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska Solving Modular Model Expansion: Case Studies. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christoph Wernhard Computing with Logic as Operator Elimination: The ToyElim System. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Unit Testing in ASPIDE. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Chiaki Sakama, Lena Wiese Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Behrend A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rainer Lüdecke Every Formula-Based Logic Program Has a Least Infinite-Valued Model. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ján Sefránek, Alexander Simko A Descriptive Approach to Preferred Answer Sets. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Peter Schüller The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Denny Schneeweiss, Petra Hofstedt FdConfig: A Constraint-Based Interactive Product Configurator. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Radim Belohlávek, Lucie Urbanova, Vilém Vychodil Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Szeider The Parameterized Complexity of Constraint Satisfaction and Reasoning. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Christoph Redl HEX-Programs with Nested Program Calls. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stef De Pooter, Johan Wittocx, Marc Denecker A Prototype of a Knowledge-Based Programming Environment. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Gabriele Kern-Isberner, Karl Södler A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Norbert Manthey Coprocessor - a Standalone SAT Preprocessor. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mai Nguyen, Tomi Janhunen, Ilkka Niemelä Translating Answer-Set Programs into Bit-Vector Logic. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dietmar Seipel, Michael Hanus, Armin Wolf (eds.) Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers Search on Bibsonomy INAP/WLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Slim Abdennadher, Mohamed Aly, Marlien Edward Constraint-Based Timetabling System for the German University in Cairo. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sebastian Kuhnert Efficient Edge-Finding on Unary Resources with Optional Activities. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constraint-based scheduling, optional tasks and activities, unary resources, global constraints
1Grzegorz J. Nalepa, Igor Wojnicki Visual Generalized Rule Programming Model for Prolog with Hybrid Operators. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Atzmüller, Frank Puppe Causal Subgroup Analysis for Detecting Confounding. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vítor Nogueira, Salvador Abreu Integrating Temporal Annotations in a Modular Logic Language. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bernd Brassel, Frank Huch The Kiel Curry System KiCS. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pedro Costa 0004, Ricardo Rocha 0001, Michel Ferreira Relational Models for Tabling Logic Programs in a Database. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Atzmüller, Dietmar Seipel Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Armin Wolf, Gunnar Schrader Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ulrich Geske, Hans-Joachim Goltz A Guide for Manual Construction of Difference-List Procedures. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Lukás Chrpa, Pavel Surynek, Jirí Vyskocil Encoding of Planning Problems and Their Optimizations in Linear Logic. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Plümicke Java Type Unification with Wildcards. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños Integrating XQuery and Logic Programming. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.) Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers Search on Bibsonomy INAP/WLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dietmar Seipel, Joachim Baumeister, Marbod Hopfner Declaratively Querying and Visualizing Knowledge Bases in Xml. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Armin Wolf, Hans Schlenker Realising the Alternative Resources Constraint. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Markus Bohlin A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hans Schlenker Distributed Constraint-Based Railway Simulation. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Misa Keinänen, Ilkka Niemelä Solving Alternating Boolean Equation Systems in Answer Set Programming. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ulrich John, Ulrich Geske Integrating Time Constraints into Constraint-Based Configuration Models. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel Web Services Based on Prolog and Xml. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hiroki Takahashi, Osamu Yoshie Towards Ubiquitous Maintenance - Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dennis P. Groth An Evaluation of a Rule-Based Language for Classification Queries. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini Deductive and Inductive Reasoning on Spatio-Temporal Data. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Marija Kulas, Manfred Widera A Pragmatic Approach to Pre-testing Prolog Programs. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Werner Winiwarter Incremental Learning of Transfer Rules for Customized Machine Translation. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Xuequn Shang, Kai-Uwe Sattler, Ingolf Geist SQL Based Frequent Pattern Mining with FP-Growth. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Martin Atzmüller, Joachim Baumeister, Frank Puppe Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann Optimizing the Evaluation of XPath Using Description Logics. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF XML, Description Logics, XPath, automated reasoning, Schema, DTD
1Oskar Bartenstein DialogEngines - Dialog Agents for Web-Based Self Service Consulting. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Shuichi Fukuda Concurrent Engineering to Wisdom Engineering. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Roman Barták Effective Modeling with Constraints. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Kimiaki Shirahama, Yuya Matsuo, Kuniaki Uehara Mining Semantic Structures in Movies. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1François Bry, Sebastian Schaffert, Andreas Schroeder A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #61 of 61 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license