default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/inap/inap2005.bht:"
download as .bib file
@proceedings{DBLP:conf/inap/2005,
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11963578},
doi = {10.1007/11963578},
isbn = {3-540-69233-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/AbreuN05,
author = {Salvador Abreu and
V{\'{\i}}tor Nogueira},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Using a Logic Programming Language with Persistence and Contexts},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {38--47},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_4},
doi = {10.1007/11963578\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/AbreuN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/BanbaraTI05,
author = {Mutsunori Banbara and
Naoyuki Tamura and
Katsumi Inoue},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Prolog Cafe : {A} Prolog to Java Translator System},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {1--11},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_1},
doi = {10.1007/11963578\_1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/BanbaraTI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Bartenstein05,
author = {Oskar Bartenstein},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {ubiCMS - {A} Prolog Based Content Management System},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {190--199},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_15},
doi = {10.1007/11963578\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Bartenstein05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Dignum05,
author = {Virginia Dignum},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {An Overview of Agents in Knowledge Management},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {175--189},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_14},
doi = {10.1007/11963578\_14},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/inap/Dignum05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Geske05,
author = {Ulrich Geske},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Railway Scheduling with Declarative Constraint Programming},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {117--134},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_10},
doi = {10.1007/11963578\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Geske05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/HirankittiT05,
author = {Visit Hirankitti and
Vuong Xuan Tran},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {A Meta-logical Approach for Multi-agent Communication of Semantic
Web Information},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {215--228},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_17},
doi = {10.1007/11963578\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/HirankittiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/HofstedtK05,
author = {Petra Hofstedt and
Olaf Krzikalla},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {{TURTLE++} - {A} CIP-Library for {C++}},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {12--24},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_2},
doi = {10.1007/11963578\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/HofstedtK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/KleemannS05,
author = {Thomas Kleemann and
Alex Sinner},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {User Profiles and Matchmaking on Mobile Phones},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {135--147},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_11},
doi = {10.1007/11963578\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/KleemannS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Kosmatov05,
author = {Nikolai Kosmatov},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Constraint Solving for Sequences in Software Validation and Verification},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {25--37},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_3},
doi = {10.1007/11963578\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Kosmatov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/NagaiNUHNKTOT05,
author = {Tatsuichiro Nagai and
Isao Nagasawa and
Masanobu Umeda and
Tatsuji Higuchi and
Yasuyuki Nishidai and
Yusuke Kitagawa and
Tsuyoshi Tsurusaki and
Masahito Ohhashi and
Osamu Takata},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {A Design Product Model for Mechanism Parts by Injection Molding},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {148--160},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_12},
doi = {10.1007/11963578\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/NagaiNUHNKTOT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Sakai05,
author = {Hiroshi Sakai},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {On a Rough Sets Based Data Mining Tool in Prolog: An Overview},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {48--65},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_5},
doi = {10.1007/11963578\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Sakai05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/SchuttWS05,
author = {Andreas Schutt and
Armin Wolf and
Gunnar Schrader},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Not-First and Not-Last Detection for Cumulative Scheduling in \emph{O}(\emph{n}\({}^{\mbox{3}}\)log\emph{n})},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {66--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_6},
doi = {10.1007/11963578\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/SchuttWS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/TakataMNOUN05,
author = {Osamu Takata and
Yuji Mure and
Yasuo Nakashima and
Masuharu Ogawa and
Masanobu Umeda and
Isao Nagasawa},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {A Knowledge-Based System for Process Planning in Cold Forging Using
the Adjustment of Stepped Cylinder Method},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {161--174},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_13},
doi = {10.1007/11963578\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/TakataMNOUN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Tamura05,
author = {Naoyuki Tamura},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {81--87},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_7},
doi = {10.1007/11963578\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Tamura05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/UmedaKNHT05,
author = {Masanobu Umeda and
Keiichi Katamine and
Isao Nagasawa and
Masaaki Hashimoto and
Osamu Takata},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {200--214},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_16},
doi = {10.1007/11963578\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/UmedaKNHT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/WolfS05,
author = {Armin Wolf and
Gunnar Schrader},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {\emph{O}(\emph{n} log\emph{n}) Overload Checking for the Cumulative
Constraint and Its Application},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {88--101},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_8},
doi = {10.1007/11963578\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/WolfS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Yamamoto05,
author = {Akihiro Yamamoto},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Inductive Logic Programming: Yet Another Application of Logic},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {102--116},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_9},
doi = {10.1007/11963578\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Yamamoto05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-23 01:41 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
