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