INAP - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 175

2020

Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected PapersPetra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel, editors, Volume 12057 of Lecture Notes in Computer Science, Springer, 2020. [doi]

2019

Exploring Properties of Icosoku by Constraint Satisfaction ApproachKe Liu 0006, Sven Löffler, Petra Hofstedt. inap 2020: 99-105 [doi]

ICurrySergio Antoy, Michael Hanus, Andy Jost, Steven Libby. inap 2020: 286-307 [doi]

Structured Traversal of Search Trees in Constraint-Logic Object-Oriented ProgrammingJan C. Dageförde, Finn Teegen. inap 2020: 199-214 [doi]

GPU-Based Parallelism for ASP-SolvingAgostino Dovier, Andrea Formisano, Flavio Vella. inap 2020: 3-23 [doi]

Adding Data to CurryMichael Hanus, Finn Teegen. inap 2020: 230-246 [doi]

Allen's Interval Algebra Makes the DifferenceTomi Janhunen, Michael Sioutis. inap 2020: 89-98 [doi]

A Process Calculus for Formally Verifying Blockchain Consensus ProtocolsWolfgang Jeltsch. inap 2020: 24-39 [doi]

KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative [inline-graphic not available: see fulltext] Markup and a Core Written in SWI-PrologJana Kittelmann, Christoph Wernhard. inap 2020: 178-196 [doi]

Towards Constraint Logic Programming over Strings for Test Data GenerationSebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke. inap 2020: 139-159 [doi]

The Regularization of Small Sub-Constraint Satisfaction ProblemsSven Löffler, Ke Liu 0006, Petra Hofstedt. inap 2020: 106-115 [doi]

From Textual Information Sources to Linked Data in the Agatha ProjectPaulo Quaresma, Vítor Beires Nogueira, Kashyap Raiyani, Roy Bayot, Teresa Gonçalves 0001. inap 2020: 79-88 [doi]

Performance Analysis of ZippersVít Sefl. inap 2020: 215-229 [doi]

Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial CompilationBaltasar Trancón-y-Widemann, Markus Lepper. inap 2020: 268-285 [doi]

Free Theorems Simply, via DinaturalityJanis Voigtländer. inap 2020: 247-267 [doi]

Finding Maximal Non-redundant Association Rules in Tennis DataDaniel Weidner, Martin Atzmueller, Dietmar Seipel. inap 2020: 59-78 [doi]

Declarative Programming for Microcontrollers - Datalog on ArduinoMario Wenzel, Stefan Brass. inap 2020: 119-138 [doi]

Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order LogicChristoph Wernhard. inap 2020: 160-177 [doi]

Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer ProgrammingArmin Wolf. inap 2020: 43-58 [doi]

2018

Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected PapersDietmar Seipel, Michael Hanus, Salvador Abreu, editors, Volume 10997 of Lecture Notes in Computer Science, Springer, 2018. [doi]

2017

Declarative Aspects in Explicative Data Mining for Computational SensemakingMartin Atzmueller. inap 2018: 97-114 [doi]

An Operational Semantics for Constraint-Logic Imperative ProgrammingJan C. Dageförde, Herbert Kuchen. inap 2018: 64-80 [doi]

An Approach for Representing Answer Sets in Natural LanguageMin Fang, Hans Tompits. inap 2018: 115-131 [doi]

Implementation of Logical Retraction in Constraint Handling Rules with JustificationsThom W. Frühwirth. inap 2018: 37-52 [doi]

Run-Time Analysis of Temporal Constrained ObjectsJinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan. inap 2018: 20-36 [doi]

plspec - A Specification Language for Prolog DataPhilipp Körner, Sebastian Krings. inap 2018: 198-213 [doi]

Techniques for Efficient Lazy-Grounding ASP SolvingLorenz Leutgeb, Antonius Weinzierl. inap 2018: 132-148 [doi]

Hypertree Decomposition: The First Step Towards Parallel Constraint SolvingKe Liu, Sven Löffler, Petra Hofstedt. inap 2018: 81-94 [doi]

Declarative XML Schema Validation with SWI-Prolog - System DescriptionFalco Nogatz, Jona Kalkus. inap 2018: 187-197 [doi]

Constraint Solving on Hybrid SystemsPedro Roque, Vasco Pedro. inap 2018: 3-19 [doi]

The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human ClustersEmmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz. inap 2018: 149-165 [doi]

Concolic Testing of Functional Logic ProgramsJan Rasmus Tikovsky. inap 2018: 169-186 [doi]

The Proportional Constraint and Its PruningArmin Wolf. inap 2018: 53-63 [doi]

2014

Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected PapersMichael Hanus, Ricardo Rocha, editors, Volume 8439 of Lecture Notes in Computer Science, Springer, 2014. [doi]

2013

Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set ProgramsElla Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner. inap 2014: 1-16 [doi]

Sharing and Exchanging DataRana Awada, Pablo Barceló, Iluju Kiringa. inap 2014: 17-32 [doi]

Propositional Encoding of Constraints over Tree-Shaped DataAlexander Bau, Johannes Waldmann. inap 2014: 33-47 [doi]

On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language CurryChristoph Beierle, Udo Lelitko. inap 2014: 48-64 [doi]

ALCGerald Berger, Hans Tompits. inap 2014: 65-82 [doi]

And... Action! - Monoid Actions and (Pre)ordersNikita Danilenko. inap 2014: 83-98 [doi]

hex-Programs with Existential QuantificationThomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl. inap 2014: 99-117 [doi]

Introducing Real Variables and Integer Objective Functions to Answer Set ProgrammingGuohua Liu, Tomi Janhunen, Ilkka Niemelä. inap 2014: 118-135 [doi]

A Datalog Engine for GPUsCarlos Alberto Martinez-Angeles, Inês de Castro Dutra, Vítor Santos Costa, Jorge Buenabad-Chavez. inap 2014: 152-168 [doi]

Towards Parallel Constraint-Based Local Search with the X10 LanguageDanny Munera, Daniel Diaz, Salvador Abreu. inap 2014: 169-184 [doi]

Coverage Driven Test Generation and Consistency AlgorithmJomu George Mani Paret, Otmane Aït Mohamed. inap 2014: 136-151 [doi]

Debate Games in Logic ProgrammingChiaki Sakama. inap 2014: 185-201 [doi]

A Descriptive Handling of Directly Conflicting Rules in Preferred Answer SetsAlexander Simko. inap 2014: 202-217 [doi]

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 PapersHans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, editors, Volume 7773 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with PaisleyBaltasar Trancón-y-Widemann, Markus Lepper. inap 2014: 218-233 [doi]

Heuristic Search over Program TransformationsClaus Zinn. inap 2014: 234-249 [doi]

2011

Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected PapersSalvador Abreu, Dietmar Seipel, editors, Volume 6547 of Lecture Notes in Computer Science, Springer, 2011. [doi]

A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive DatabasesAndreas Behrend. inap 2013: 77-92 [doi]

A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic ProgrammingChristoph Beierle, Gabriele Kern-Isberner, Karl Södler. inap 2013: 175-192 [doi]

Sensitivity Analysis for Declarative Relational Query Languages with Ordinal RanksRadim Belohlávek, Lucie Urbanova, Vilém Vychodil. inap 2013: 58-76 [doi]

dynPARTIX - A Dynamic Programming Reasoner for Abstract ArgumentationWolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran. inap 2013: 259-268 [doi]

Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsWolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran. inap 2013: 114-133 [doi]

The IMPL Policy Language for Managing Inconsistency in Multi-Context SystemsThomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller. inap 2013: 3-26 [doi]

HEX-Programs with Nested Program CallsThomas Eiter, Thomas Krennwallner, Christoph Redl. inap 2013: 269-278 [doi]

Unit Testing in ASPIDEOnofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca. inap 2013: 345-364 [doi]

Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical UsersKatsumi Inoue, Chiaki Sakama, Lena Wiese. inap 2013: 134-151 [doi]

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsChristian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits. inap 2013: 325-344 [doi]

Every Formula-Based Logic Program Has a Least Infinite-Valued ModelRainer Lüdecke. inap 2013: 155-172 [doi]

Coprocessor - a Standalone SAT PreprocessorNorbert Manthey. inap 2013: 297-304 [doi]

Translating Answer-Set Programs into Bit-Vector LogicMai Nguyen, Tomi Janhunen, Ilkka Niemelä. inap 2013: 95-113 [doi]

The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary ReportJohannes Oetsch, Jörg Pührer, Hans Tompits. inap 2013: 305-324 [doi]

A Prototype of a Knowledge-Based Programming EnvironmentStef De Pooter, Johan Wittocx, Marc Denecker. inap 2013: 279-286 [doi]

FdConfig: A Constraint-Based Interactive Product ConfiguratorDenny Schneeweiss, Petra Hofstedt. inap 2013: 239-255 [doi]

A Descriptive Approach to Preferred Answer SetsJán Sefránek, Alexander Simko. inap 2013: 195-214 [doi]

The Parameterized Complexity of Constraint Satisfaction and ReasoningStefan Szeider. inap 2013: 27-37 [doi]

Solving Modular Model Expansion: Case StudiesShahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska. inap 2013: 215-236 [doi]

Translating Nondeterministic Functional Language Based on Attribute Grammars into JavaMasanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine. inap 2013: 41-57 [doi]

Computing with Logic as Operator Elimination: The ToyElim SystemChristoph Wernhard. inap 2013: 289-296 [doi]

2009

Extending XQuery for Semantic Web ReasoningJesús Manuel Almendros-Jiménez. inap 2011: 117-134 [doi]

Programming Patterns for Logtalk Parametric ObjectsPaulo Moura. inap 2011: 52-69 [doi]

ISTO: A Language for Temporal Organizational Information SystemsVítor Nogueira, Salvador Abreu. inap 2011: 40-51 [doi]

Reference Model and Perspective Schemata Inference for Enterprise Data IntegrationValéria Magalhães Pequeno, João Carlos Moura Pires. inap 2011: 135-152 [doi]

Elder Care via Intention Recognition and Evolution ProspectionLuís Moniz Pereira, Han The Anh. inap 2011: 170-187 [doi]

Stabel Model Implementation of Layer Supported Models by Program TransformationLuís Moniz Pereira, Alexandre Miguel Pinto. inap 2011: 70-84 [doi]

Adaptive Reasoning for Cooperative AgentsLuís Moniz Pereira, Alexandre Miguel Pinto. inap 2011: 102-116 [doi]

An Alternative High-Level Approach to Interaction with DatabasesAntónio Porto. inap 2011: 20-39 [doi]

Network Monitoring with Constraint Programming: Preliminary Specification and AnalysisPedro D. Salgueiro, Salvador Abreu. inap 2011: 223-238 [doi]

JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql StatementsDietmar Seipel, Andreas M. Boehm, Markus Fröhlich. inap 2011: 153-169 [doi]

Searching in Protein State SpaceDietmar Seipel, Jörg Schultz. inap 2011: 205-222 [doi]

Knowledge Management Strategy and Tactics for Forging Die Design SupportMasanobu Umeda, Yuji Mure. inap 2011: 188-204 [doi]

Towards Computing Revised Models for FO TheoriesJohan Wittocx, Broes de Cat, Marc Denecker. inap 2011: 85-101 [doi]

2006

Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected PapersMasanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, editors, Volume 4369 of Lecture Notes in Computer Science, Springer, 2006.

2005

Using a Logic Programming Language with Persistence and ContextsSalvador Abreu, Vítor Nogueira. inap 2006: 38-47 [doi]

Prolog Cafe : A Prolog to Java Translator SystemMutsunori Banbara, Naoyuki Tamura, Katsumi Inoue. inap 2006: 1-11 [doi]

ubiCMS - A Prolog Based Content Management SystemOskar Bartenstein. inap 2006: 190-199 [doi]

Railway Scheduling with Declarative Constraint ProgrammingUlrich Geske. inap 2006: 117-134 [doi]

A Meta-logical Approach for Multi-agent Communication of Semantic Web InformationVisit Hirankitti, Vuong Xuan Tran. inap 2006: 215-228 [doi]

User Profiles and Matchmaking on Mobile PhonesThomas Kleemann, Alex Sinner. inap 2006: 135-147 [doi]

A Design Product Model for Mechanism Parts by Injection MoldingTatsuichiro Nagai, Isao Nagasawa, Masanobu Umeda, Tatsuji Higuchi, Yasuyuki Nishidai, Yusuke Kitagawa, Tsuyoshi Tsurusaki, Masahito Ohhashi, Osamu Takata. inap 2006: 148-160 [doi]

On a Rough Sets Based Data Mining Tool in Prolog: An OverviewHiroshi Sakai. inap 2006: 48-65 [doi]

Not-First and Not-Last Detection for Cumulative Scheduling in ::::O::::(::::n:::::::3:::log::::n::::)Andreas Schutt, Armin Wolf, Gunnar Schrader. inap 2006: 66-80 [doi]

A Knowledge-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder MethodOsamu Takata, Yuji Mure, Yasuo Nakashima, Masuharu Ogawa, Masanobu Umeda, Isao Nagasawa. inap 2006: 161-174 [doi]

Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint ProgrammingNaoyuki Tamura. inap 2006: 81-87 [doi]

Multi-threading Inside Prolog for Knowledge-Based Enterprise ApplicationsMasanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata. inap 2006: 200-214 [doi]

::::O::::(::::n:::: log::::n::::) Overload Checking for the Cumulative Constraint and Its ApplicationArmin Wolf, Gunnar Schrader. inap 2006: 88-101 [doi]

Inductive Logic Programming: Yet Another Application of LogicAkihiro Yamamoto. inap 2006: 102-116 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

INAP (inap)

Viewing Publication 1 - 100 from 175

2020

2019

2018

2017

2014

2013

2011

2009

2006

2005

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

INAP (inap)

Viewing Publication 1 - 100 from 175

2020

2019

2018

2017

2014

2013

2011

2009

2006

2005

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1