LMNtal as a unifying declarative language: Live demonstration

Kazunori Ueda; Norio Kato; Koji Hara; Ken Mizuno

LMNtal as a unifying declarative language: Live demonstration

Kazunori Ueda^*, Norio Kato, Koji Hara, Ken Mizuno

^*Corresponding author for this work

School of Fundamental Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Original language	English
Title of host publication	Logic Programming - 22nd International Conference, ICLP 2006, Proceedings
Publisher	Springer Verlag
Pages	457-458
Number of pages	2
ISBN (Print)	9783540366355
Publication status	Published - 2006 Jan 1
Event	22nd International Conference on Logic Programming, ICLP 2006 - Seattle, WA, United States Duration: 2006 Aug 17 → 2006 Aug 20

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4079 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd International Conference on Logic Programming, ICLP 2006
Country/Territory	United States
City	Seattle, WA
Period	06/8/17 → 06/8/20

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Cite this

Ueda, K., Kato, N., Hara, K., & Mizuno, K. (2006). LMNtal as a unifying declarative language: Live demonstration. In Logic Programming - 22nd International Conference, ICLP 2006, Proceedings (pp. 457-458). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4079 LNCS). Springer Verlag.

LMNtal as a unifying declarative language : Live demonstration. / Ueda, Kazunori; Kato, Norio; Hara, Koji et al.

Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer Verlag, 2006. p. 457-458 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4079 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ueda, K, Kato, N, Hara, K & Mizuno, K 2006, LMNtal as a unifying declarative language: Live demonstration. in Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4079 LNCS, Springer Verlag, pp. 457-458, 22nd International Conference on Logic Programming, ICLP 2006, Seattle, WA, United States, 06/8/17.

@inproceedings{b8d336aa3e2f42e886a9575a58387a4c,

title = "LMNtal as a unifying declarative language: Live demonstration",

author = "Kazunori Ueda and Norio Kato and Koji Hara and Ken Mizuno",

year = "2006",

month = jan,

day = "1",

language = "English",

isbn = "9783540366355",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "457--458",

booktitle = "Logic Programming - 22nd International Conference, ICLP 2006, Proceedings",

note = "22nd International Conference on Logic Programming, ICLP 2006 ; Conference date: 17-08-2006 Through 20-08-2006",

}

TY - GEN

T1 - LMNtal as a unifying declarative language

T2 - 22nd International Conference on Logic Programming, ICLP 2006

AU - Ueda, Kazunori

AU - Kato, Norio

AU - Hara, Koji

AU - Mizuno, Ken

PY - 2006/1/1

Y1 - 2006/1/1

UR - http://www.scopus.com/inward/record.url?scp=33749319090&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749319090&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33749319090

SN - 9783540366355

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 457

EP - 458

BT - Logic Programming - 22nd International Conference, ICLP 2006, Proceedings

PB - Springer Verlag

Y2 - 17 August 2006 through 20 August 2006

ER -

LMNtal as a unifying declarative language: Live demonstration

Publication series

Conference

ASJC Scopus subject areas

Other files and links

Cite this