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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![Springer, 978-3-642-20588-0 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Seipel, Jörg Schultz |
Searching in Protein State Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 205-222, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 153-169, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Adaptive Reasoning for Cooperative Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 102-116, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luís Moniz Pereira, Alexandre Miguel Pinto |
Stabel Model Implementation of Layer Supported Models by Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 70-84, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Masanobu Umeda, Yuji Mure |
Knowledge Management Strategy and Tactics for Forging Die Design Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 188-204, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | António Porto |
An Alternative High-Level Approach to Interaction with Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 20-39, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Terrance Swift |
Design Patterns for Tabled Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 1-19, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luís Moniz Pereira, Han The Anh |
Elder Care via Intention Recognition and Evolution Prospection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 170-187, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Moura |
Programming Patterns for Logtalk Parametric Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 52-69, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Johan Wittocx, Broes De Cat, Marc Denecker |
Towards Computing Revised Models for FO Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 85-101, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 135-152, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Nogueira, Salvador Abreu |
ISTO: A Language for Temporal Organizational Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 40-51, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
Extending XQuery for Semantic Web Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 117-134, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pedro D. Salgueiro, Salvador Abreu |
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, pp. 223-238, 2009, Springer, 978-3-642-20588-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![Springer, 3-540-69233-9 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Bartenstein |
ubiCMS - A Prolog Based Content Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 190-199, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Petra Hofstedt, Olaf Krzikalla |
TURTLE++ - A CIP-Library for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 12-24, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Virginia Dignum |
An Overview of Agents in Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 175-189, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schutt, Armin Wolf, Gunnar Schrader |
Not-First and Not-Last Detection for Cumulative Scheduling in O(n3logn). ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 66-80, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 200-214, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Naoyuki Tamura |
Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 81-87, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 148-160, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 161-174, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Akihiro Yamamoto |
Inductive Logic Programming: Yet Another Application of Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 102-116, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Abreu, Vítor Nogueira |
Using a Logic Programming Language with Persistence and Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 38-47, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Visit Hirankitti, Vuong Xuan Tran |
A Meta-logical Approach for Multi-agent Communication of Semantic Web Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 215-228, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Armin Wolf, Gunnar Schrader |
O(n logn) Overload Checking for the Cumulative Constraint and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 88-101, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue |
Prolog Cafe : A Prolog to Java Translator System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 1-11, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Kosmatov |
Constraint Solving for Sequences in Software Validation and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 25-37, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, validation, sequences, constraint solver |
1 | Ulrich Geske |
Railway Scheduling with Declarative Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 117-134, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kleemann, Alex Sinner |
User Profiles and Matchmaking on Mobile Phones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 135-147, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Sakai |
On a Rough Sets Based Data Mining Tool in Prolog: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: 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, pp. 48-65, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kunihiro Ohno, Masanobu Umeda, Keisuke Nagase, Isao Nagasawa |
Knowledge Base Programming for Medical Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 202-210, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Edgar R. Weippl, Ismail Khalil Ibrahim, Werner Winiwarter |
Content-based Management of Document Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 78-86, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 152-159, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 1-10, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Neng-Fa Zhou |
Action Rules for Programming Constraint Propagators and Interactive User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 57, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Nicos Angelopoulos, James Cussens |
Prolog Issues of an MCMC Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 246-253, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 316-330, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Jason J. Jung, Jeong-Seob Yoon, GeunSik Jo |
Collaborative Information Filtering by Using Categorized Bookmarks on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 343-357, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 451-465, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Luis Quintano, Salvador Abreu, Irene Pimenta Rodrigues |
Relational Information Retrieval through Natural Lanaguage Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 437-451, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Sunil Choenni, Richard Walker 0003, Robin Bakker, Walter Baets |
E-learning as a Vehicle for Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 379-392, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Yoshiaki Okubo, Yoshimitsu Kudoh, Makoto Haraguchi |
Constructing Appropriate Data Abstractions for Mining Classification Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 275-284, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Paulo Quaresma, Irene Pimenta Rodrigues |
PGR: Portuguese Attorney General's Office Decisions on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 426-436, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![The Prolog Association of Japan The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Shekhar Pradhan |
Contestations and Constraints for Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 11-19, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | A. R. Hamza, Mohammed Ali Berawi |
Developing A Knowledge Management System for Construction Contract Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 358-378, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Harold Boley |
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 124-139, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Sarabdeen Jawahitha, Noor Raihan Ab Hamid, Adika Ahmad Shiraz |
E-Banking: A Malaysian Legal Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 414-425, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Ryoya Okabe |
Local Quantifier Raising and Cumulative Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 176-185, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 140-151, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Hasan M. Jamil |
Mining First-order Knowledgebases for Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 30-37, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 58-77, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Jan Rauch, Milan Simunek |
Mining for Association Rules by 4ft-Miner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 285-295, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Sanjeev Jayakumar, Thomas Thomas |
Data Mining-Assisted Decision Support for Fever Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 196-201, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Dennis P. Groth, Edward L. Robertson |
Discoverying Frequent Itemsets in the Presence of Highly Frequent Items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 237-245, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Martin Emms |
A Prolog based Information Extraction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 160-167, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Tuan Nam Tran, Masayuki Numao |
Text Data Mining in Biomedical Literature by Combining with an Information Retrieval Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 295-304, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Bernd D. Heumesser, Ralf-Dieter Schimkat |
Deduction on XML Documents: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 20-29, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Michael Sintek, Stefan Decker |
TRIPLE - An RDF Query, Inference, and Transformation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 47-56, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Abraham Rodríguez-Rodríguez, Miguel Alemán-Flores |
A Framework for the Search And Rescue Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 305-316, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Donald Nute |
Defeasible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 87-114, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 186-195, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Lambèr M. M. Royakkers |
Action Logics for Collective Agency and Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 404-413, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Armin Wolf |
Attributed Variables for Dynamic Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 211-219, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Akira Ishikawa |
A functional operator-based morphological analysis of Japanese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 168-175, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Oskar Bartenstein |
Software Components for Internet based Self Service Consulting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 115-123, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Michal J. Okoniewski, Lukasz Gancarz, Piotr Gawrysiak |
Mining Multi-Dimensional Quantitative Associations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 265-274, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Thomas Goesmann |
KontextNavigator: A Workflow-Integrated Organizational Memory Information System to Support Knowledge-Intensive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 393-403, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes |
Selection Restrictions Acquisition for Parsing and Information Retrieval Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 466-479, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Salvador Abreu |
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 229-237, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Andreas Fordan |
Constraint Solving over OCR Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 220-228, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Rashmi Pandya, Tim Charity |
Aligning Knowledge Management with Customer Requirements in Mobile Telecommunications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 331-342, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Preferring and Updating in Multi-Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 38-46, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Tu Bao Ho, DucDung Nguyen, Saori Kawasaki |
Mining Prediction Rules from Minority Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 254-265, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|