Methodologies of Mathematical Objects
Methodologies Of Mathematical Objects
The name "momo" in the momo-net is the abbreviation
for "Methodologies Of Mathematical
Objects". We are looking for the principles and methodologies of
programming, artificial
intelligence and languages by taking the mathematical objects in
computing.
Some papers/lectures
-
Yamasaki,S. and Kurose,Y., A sound and complete procedure for
a general logic program in non-floundering derivations with
respect to the 3-valued stable model semantics,
Theoretical Computer Science, 266, pp.489-512, 2001.
-
Yamasaki,S. and Sasakura,M., Contradiction-free proof procedure
with visualization for extended logic programs,
Proc. of International Conference on Advances in Infrastructure
for Electronic Business, Science, Education, and Medicine on the Internet,
SSGRR 2002s, 4 (CD-ROM), L'Aquila, 2002.
-
Yamasaki,S., Semantics of normal goals as acquisitors caused
by negation as failure, IEICE Trans. on Information and Systems,
E86-D, 6, pp.993-1000, 2003.
- Yamasaki,S., Semantics of negations in 3-valued logic
and related programming theory, Lecture at Faculty of Mathematics and
Computer Science, Adam Mickiewicz University, Poznan, June, 2005.
- Yamasaki,S., Logic programming with default, weak and strict
negations, Theory and Practice of Logic Programming, 6, pp.737-749,
2006.
- Yamasaki,S., An interactive constraint system and its relation
to logic in AI, Proc. of 19th Belgium/Netherlands Artificial
Intelligence Conference, pp.299-306, Utrecht, 2007.
- Yamasaki,S., Monotone and nonmonotone functions associated
with programs, Lecture at Department of Algorithms and Programming,
Faculty of Mathematics and Computer Science, Adam Mickiewicz University,
Poznan, June, 2008.
- Yamasaki,S., A fixed point representation of references,
FTP 2009 Workshops Proceedings, pp.120-129, Oslo, 2009.
- Yamasaki,S., A construction of logic-constrained functions with
respect to awareness, Workshop 4: LRBA, MALLOW 2010 Proceedings (ISSN 1613-0073), pp.84-98, Lyon, 2010.
- Yamasaki,S., Distributed function constraints with action construction and
implementation, Proc. WSEAS ECC 12, pp.53-58, Prague.