Search results for "EVALPSN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
183	Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki	A Discrete Event Control Based on EVALPSN Stable Model Computation.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), control deadlock, paraconsistent logic program, stable model, discrete event control
164	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	Paraconsistent Before-After Relation Reasoning Based on EVALPSN.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	annotated logic program, bf-EVALPSN, before-after relation, paraconsistent reasoning system, EVALPSN
161	Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung	Defeasible Deontic Control for Discrete Events Based on EVALPSN.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	annotated logic program, discrete event systems, paraconsistent logic, EVALPSN, defeasible deontic reasoning
142	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.	KES (2)	2008	DBLP DOI BibTeX RDF	process order control, bf-EVALPSN, before-after relation, paraconsistent reasoning system, EVALPSN
110	Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki	A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.	KES	2004	DBLP DOI BibTeX RDF	paraconsistent logic program, discrete event control, EVALPSN, defeasible deontic reasoning
99	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN.	KES (2)	2009	DBLP DOI BibTeX RDF	before-after relation, bf-EVALPSN, annotated logic program, anticipatory system, EVALPSN
97	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.	KES (2)	2007	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, traffic signal control, defeasible deontic reasoning
97	Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe	EVALPSN Based Intelligent Drivers' Model.	KES (2)	2006	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, intelligent traffic simulation, defeasible deontic reasoning
97	Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki	EVALPSN Based Railway Interlocking Simulator.	KES	2004	DBLP DOI BibTeX RDF	intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning
94	Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki	Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN.	RSFDGrC	2003	DBLP DOI BibTeX RDF	paraconsistent logic program, intelligent control, traffic signal control, defeasible deontic reasoning
88	Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe	An Intelligent Safety Verification Based on a Paraconsistent Logic Program.	KES (2)	2005	DBLP DOI BibTeX RDF	EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), paraconsistent logic program, intelligent control, safety verification
64	Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki	Annotated Semantics for Defeasible Deontic Reasoning.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF	defeasible deontic logic, extended vector annotated logic program with strong negation, stable model, annotated logic
30	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control.	New Approaches in Intelligent Control	2016	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	Paraconsistent Annotated Logic Program EVALPSN and Its Applications.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
30	Aapo Alasuutari, Kazumi Nakamatsu, Jair Minoro Abe	A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN.	IDT/IIMSS/STET	2014	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN.	Int. J. Knowl. Based Intell. Eng. Syst.	2011	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura	Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN.	ACIIDS (1)	2011	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev	Introduction to Intelligent Elevator Control Based on EVALPSN.	KES (3)	2010	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu, Jair Minoro Abe, Takashi Watanabe 0001	Introduction to Intelligent Network Routing Based on EVALPSN.	KES (3)	2010	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu	Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application.	Foundations of Computational Intelligence (2)	2009	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN.	RSFDGrC	2009	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu	The Paraconsistent Annotated Logic Program EVALPSN and its Application.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu	Pipeline Valve Control Based on EVALPSN Safety Verification.	J. Adv. Comput. Intell. Intell. Informatics	2006	DBLP DOI BibTeX RDF
30	Sheng-Luen Chung, Yen-Hung Lai	EVALPSN-Based Process Control in Brewery Plants.	LAPTEC	2005	DBLP BibTeX RDF
30	Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki	Intelligent Safety Verification for Pipeline Based on EVALPSN.	LAPTEC	2005	DBLP BibTeX RDF
30	Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki	A Discrete Event Control Based on EVALPSN Stable Model.	LAPTEC	2005	DBLP BibTeX RDF
21	Kazumi Nakamatsu	Intelligent process order control based on a paraconsistent logic program : An introduction.	SMC	2007	DBLP DOI BibTeX RDF