| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Salvador Abreu, Dietmar Seipel (eds.) |
Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers  |
INAP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Seipel, Jörg Schultz |
Searching in Protein State Space. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Seipel, Andreas M. Boehm, Markus Fröhlich |
JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Adaptive Reasoning for Cooperative Agents. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Stabel Model Implementation of Layer Supported Models by Program Transformation. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Masanobu Umeda, Yuji Mure |
Knowledge Management Strategy and Tactics for Forging Die Design Support. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | António Porto |
An Alternative High-Level Approach to Interaction with Databases. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Terrance Swift |
Design Patterns for Tabled Logic Programming. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Han The Anh |
Elder Care via Intention Recognition and Evolution Prospection. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Moura |
Programming Patterns for Logtalk Parametric Objects. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Wittocx, Broes De Cat, Marc Denecker |
Towards Computing Revised Models for FO Theories. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valéria Magalhães Pequeno, João Carlos Moura Pires |
Reference Model and Perspective Schemata Inference for Enterprise Data Integration. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Nogueira, Salvador Abreu |
ISTO: A Language for Temporal Organizational Information Systems. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Manuel Almendros-Jiménez |
Extending XQuery for Semantic Web Reasoning. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro D. Salgueiro, Salvador Abreu |
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata (eds.) |
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 Papers |
INAP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oskar Bartenstein |
ubiCMS - A Prolog Based Content Management System. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Hofstedt, Olaf Krzikalla |
TURTLE++ - A CIP-Library for C++. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Virginia Dignum |
An Overview of Agents in Knowledge Management. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schutt, Armin Wolf, Gunnar Schrader |
Not-First and Not-Last Detection for Cumulative Scheduling in O(n3logn). |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata |
Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoyuki Tamura |
Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatsuichiro Nagai, Isao Nagasawa, Masanobu Umeda, Tatsuji Higuchi, Yasuyuki Nishidai, Yusuke Kitagawa, Tsuyoshi Tsurusaki, Masahito Ohhashi, Osamu Takata |
A Design Product Model for Mechanism Parts by Injection Molding. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Takata, Yuji Mure, Yasuo Nakashima, Masuharu Ogawa, Masanobu Umeda, Isao Nagasawa |
A Knowledge-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder Method. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihiro Yamamoto |
Inductive Logic Programming: Yet Another Application of Logic. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Abreu, Vítor Nogueira |
Using a Logic Programming Language with Persistence and Contexts. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Visit Hirankitti, Vuong Xuan Tran |
A Meta-logical Approach for Multi-agent Communication of Semantic Web Information. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Wolf, Gunnar Schrader |
O(n logn) Overload Checking for the Cumulative Constraint and Its Application. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue |
Prolog Cafe : A Prolog to Java Translator System. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov |
Constraint Solving for Sequences in Software Validation and Verification. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
verification, validation, sequences, constraint solver |
| 1 | Ulrich Geske |
Railway Scheduling with Declarative Constraint Programming. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kleemann, Alex Sinner |
User Profiles and Matchmaking on Mobile Phones. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Sakai |
On a Rough Sets Based Data Mining Tool in Prolog: An Overview. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunihiro Ohno, Masanobu Umeda, Keisuke Nagase, Isao Nagasawa |
Knowledge Base Programming for Medical Decision Support. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Edgar R. Weippl, Ismail Khalil Ibrahim, Werner Winiwarter |
Content-based Management of Document Access Control. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Naoki Fukuta, Nobuaki Mizutani, Tadachika Ozono, Toramatsu Shintani |
iML: A Logic-based Framework for Constructing Graphical User Interface on Mobile Agents. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Miguel R. Penabad, Nieves R. Brisaboa, José R. Paramá, Hendrik Decker |
A General Procedure to Test Containment of Conjunctive Queries. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
Action Rules for Programming Constraint Propagators and Interactive User Interfaces. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Nicos Angelopoulos, James Cussens |
Prolog Issues of an MCMC Algorithm. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Bronson Trevor, Edgar R. Weippl, Werner Winiwarter |
A Modern Approach to Searching the World Wide Web: Ranking Pages by Inference over Content. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jason J. Jung, Jeong-Seob Yoon, GeunSik Jo |
Collaborative Information Filtering by Using Categorized Bookmarks on the Web. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | M. Mercedes Martínez, Pablo de la Fuente, Jean-Claude Derniame, Alberto Pedrero |
Relationship-based Dynamic Versioning of Evolving Legal Documents. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Luis Quintano, Salvador Abreu, Irene Pimenta Rodrigues |
Relational Information Retrieval through Natural Lanaguage Analysis. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sunil Choenni, Richard Walker 0003, Robin Bakker, Walter Baets |
E-learning as a Vehicle for Knowledge Management. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yoshiaki Okubo, Yoshimitsu Kudoh, Makoto Haraguchi |
Constructing Appropriate Data Abstractions for Mining Classification Knowledge. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Paulo Quaresma, Irene Pimenta Rodrigues |
PGR: Portuguese Attorney General's Office Decisions on the Web. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | |
Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001 |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Shekhar Pradhan |
Contestations and Constraints for Databases. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | A. R. Hamza, Mohammed Ali Berawi |
Developing A Knowledge Management System for Construction Contract Management. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sarabdeen Jawahitha, Noor Raihan Ab Hamid, Adika Ahmad Shiraz |
E-Banking: A Malaysian Legal Paradigm. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ryoya Okabe |
Local Quantifier Raising and Cumulative Quantification. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jordan C. P. Kung, Paul Strickland, Dhiya Al-Jumeily, A. Taleb-Bendiab |
Using Model Tracing Approach to Guide a Student Model for an Intelligent Computer Algebra System. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hasan M. Jamil |
Mining First-order Knowledgebases for Association Rules. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | SuanGwan Han, Jeong-Seob Yoon, GeunSik Jo |
Case-Based Student Model using Knowledge Markup Language for Intelligent e-learning Systems. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jan Rauch, Milan Simunek |
Mining for Association Rules by 4ft-Miner. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sanjeev Jayakumar, Thomas Thomas |
Data Mining-Assisted Decision Support for Fever Diagnosis. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Dennis P. Groth, Edward L. Robertson |
Discoverying Frequent Itemsets in the Presence of Highly Frequent Items. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Martin Emms |
A Prolog based Information Extraction System. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tuan Nam Tran, Masayuki Numao |
Text Data Mining in Biomedical Literature by Combining with an Information Retrieval Approach. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Bernd D. Heumesser, Ralf-Dieter Schimkat |
Deduction on XML Documents: A Case Study. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Michael Sintek, Stefan Decker |
TRIPLE - An RDF Query, Inference, and Transformation Language. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Abraham Rodríguez-Rodríguez, Miguel Alemán-Flores |
A Framework for the Search And Rescue Domain. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Donald Nute |
Defeasible Logic. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Kathrin Böttger, Rolf Schwitter, Debbie Richards 0001, Oscar Aguilera, Diego Mollá Aliod |
Reconciling Use Cases via Controlled Languages and Graphical Models. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lambèr M. M. Royakkers |
Action Logics for Collective Agency and Norms. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Armin Wolf |
Attributed Variables for Dynamic Constraint Solving. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Akira Ishikawa |
A functional operator-based morphological analysis of Japanese. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Oskar Bartenstein |
Software Components for Internet based Self Service Consulting Systems. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Michal J. Okoniewski, Lukasz Gancarz, Piotr Gawrysiak |
Mining Multi-Dimensional Quantitative Associations. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas Goesmann |
KontextNavigator: A Workflow-Integrated Organizational Memory Information System to Support Knowledge-Intensive Processes. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes |
Selection Restrictions Acquisition for Parsing and Information Retrieval Improvement. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Salvador Abreu |
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andreas Fordan |
Constraint Solving over OCR Graphs. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Rashmi Pandya, Tim Charity |
Aligning Knowledge Management with Customer Requirements in Mobile Telecommunications. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Preferring and Updating in Multi-Agents. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tu Bao Ho, DucDung Nguyen, Saori Kawasaki |
Mining Prediction Rules from Minority Classes. |
INAP |
2001 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license