Sign in
INAP
2001
2004
2008
2011
2001
2011
Keyphrases
Publications
volume 6547, 2011
Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
INAP
6547 (2011)
2009
Valéria Magalhães Pequeno
,
João Carlos Moura Pires
Reference Model and Perspective Schemata Inference for Enterprise Data Integration.
INAP
(2009)
Pedro D. Salgueiro
,
Salvador Abreu
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis.
INAP
(2009)
Vítor Nogueira
,
Salvador Abreu
ISTO: A Language for Temporal Organizational Information Systems.
INAP
(2009)
Terrance Swift
Design Patterns for Tabled Logic Programming.
INAP
(2009)
Dietmar Seipel
,
Andreas M. Boehm
,
Markus Fröhlich
JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements.
INAP
(2009)
Masanobu Umeda
,
Yuji Mure
Knowledge Management Strategy and Tactics for Forging Die Design Support.
INAP
(2009)
Luís Moniz Pereira
,
Alexandre Miguel Pinto
Stabel Model Implementation of Layer Supported Models by Program Transformation.
INAP
(2009)
Dietmar Seipel
,
Jörg Schultz
Searching in Protein State Space.
INAP
(2009)
Jesús Manuel Almendros-Jiménez
Extending XQuery for Semantic Web Reasoning.
INAP
(2009)
António Porto
An Alternative High-Level Approach to Interaction with Databases.
INAP
(2009)
Paulo Moura
Programming Patterns for Logtalk Parametric Objects.
INAP
(2009)
Luís Moniz Pereira
,
Alexandre Miguel Pinto
Adaptive Reasoning for Cooperative Agents.
INAP
(2009)
Johan Wittocx
,
Broes De Cat
,
Marc Denecker
Towards Computing Revised Models for FO Theories.
INAP
(2009)
Luís Moniz Pereira
,
Han The Anh
Elder Care via Intention Recognition and Evolution Prospection.
INAP
(2009)
volume 4369, 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 Papers
INAP
4369 (2006)
2005
Akihiro Yamamoto
Inductive Logic Programming: Yet Another Application of Logic.
INAP
(2005)
Oskar Bartenstein
ubiCMS - A Prolog Based Content Management System.
INAP
(2005)
Salvador Abreu
,
Vítor Nogueira
Using a Logic Programming Language with Persistence and Contexts.
INAP
(2005)
Mutsunori Banbara
,
Naoyuki Tamura
,
Katsumi Inoue
Prolog Cafe : A Prolog to Java Translator System.
INAP
(2005)
Petra Hofstedt
,
Olaf Krzikalla
TURTLE++ - A CIP-Library for C++.
INAP
(2005)
Thomas Kleemann
,
Alex Sinner
User Profiles and Matchmaking on Mobile Phones.
INAP
(2005)
Armin Wolf
,
Gunnar Schrader
) Overload Checking for the Cumulative Constraint and Its Application.
INAP
(2005)
Visit Hirankitti
,
Vuong Xuan Tran
A Meta-logical Approach for Multi-agent Communication of Semantic Web Information.
INAP
(2005)
Virginia Dignum
An Overview of Agents in Knowledge Management.
INAP
(2005)
Andreas Schutt
,
Armin Wolf
,
Gunnar Schrader
).
INAP
(2005)
Masanobu Umeda
,
Keiichi Katamine
,
Isao Nagasawa
,
Masaaki Hashimoto
,
Osamu Takata
Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications.
INAP
(2005)
Hiroshi Sakai
On a Rough Sets Based Data Mining Tool in Prolog: An Overview.
INAP
(2005)
Ulrich Geske
Railway Scheduling with Declarative Constraint Programming.
INAP
(2005)
Nikolai Kosmatov
Constraint Solving for Sequences in Software Validation and Verification.
INAP
(2005)
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)
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)
Naoyuki Tamura
Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming.
INAP
(2005)
2001
M. Mercedes Martínez
,
Pablo de la Fuente
,
Jean-Claude Derniame
,
Alberto Pedrero
Relationship-based Dynamic Versioning of Evolving Legal Documents.
INAP
(2001)
Sarabdeen Jawahitha
,
Noor Raihan Ab Hamid
,
Adika Ahmad Shiraz
E-Banking: A Malaysian Legal Paradigm.
INAP
(2001)
Luis Quintano
,
Salvador Abreu
,
Irene Pimenta Rodrigues
Relational Information Retrieval through Natural Lanaguage Analysis.
INAP
(2001)
Ryoya Okabe
Local Quantifier Raising and Cumulative Quantification.
INAP
(2001)
Sunil Choenni
,
Richard Walker
,
Robin Bakker
,
Walter Baets
E-learning as a Vehicle for Knowledge Management.
INAP
(2001)
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)
Yoshiaki Okubo
,
Yoshimitsu Kudoh
,
Makoto Haraguchi
Constructing Appropriate Data Abstractions for Mining Classification Knowledge.
INAP
(2001)
Hasan M. Jamil
Mining First-order Knowledgebases for Association Rules.
INAP
(2001)
SuanGwan Han
,
Jeong-Seob Yoon
,
GeunSik Jo
Case-Based Student Model using Knowledge Markup Language for Intelligent e-learning Systems.
INAP
(2001)
Paulo Quaresma
,
Irene Pimenta Rodrigues
PGR: Portuguese Attorney General's Office Decisions on the Web.
INAP
(2001)
Jan Rauch
,
Milan Simunek
Mining for Association Rules by 4ft-Miner.
INAP
(2001)
Nicos Angelopoulos
,
James Cussens
Prolog Issues of an MCMC Algorithm.
INAP
(2001)
Sanjeev Jayakumar
,
Thomas Thomas
Data Mining-Assisted Decision Support for Fever Diagnosis.
INAP
(2001)
Dennis P. Groth
,
Edward L. Robertson
Discoverying Frequent Itemsets in the Presence of Highly Frequent Items.
INAP
(2001)
Edgar R. Weippl
,
Ismail Khalil Ibrahim
,
Werner Winiwarter
Content-based Management of Document Access Control.
INAP
(2001)
Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001
INAP
(2001)
Martin Emms
A Prolog based Information Extraction System.
INAP
(2001)