fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Declarative Agent Languages and Technologies VI Lecture Notes in Artificial Intelligence

Declarative Agent Languages and Technologies VI Lecture Notes in Artificial Intelligence

by Matteo Baldoni

Logic designSoftware engineeringComputer scienceArtificial intelligenceProgramming languages (electronic computers)
0.0
Open Library
Open Library

Themes & subjects

Logic designSoftware engineeringComputer scienceArtificial intelligenceProgramming languages (electronic computers)Intelligent agents (computer software)

Author

Matteo Baldoni

Editions

1

Publisher

Springer

ISBN

9783540939191

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

JSSPP'99 (1999 San Juan, P.R.)

1995

Digital Design

Design and construction · Digital electronics

Digital Design

John F. Wakerly

1990

Evaluation of Novel Approaches to Software Engineering

Information Systems · Software engineering

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek

2011

Information and Communication Technologies in Education, Research, and Industrial Applications

Information technology · Educational technology

Information and Communication Technologies in Education, Research, and Industrial Applications

Vadim Ermolayev

2013

Reachability Problems

Computer simulation · Computers

Reachability Problems

Parosh Aziz Abdulla

2010

Computer Engineering and Technology

Processor Architectures · Performance and Reliability

Computer Engineering and Technology

Weixia Xu

2013

Membrane Computing

Biocomputers · Software engineering

Membrane Computing

Marian Gheorghe

2012

Programming in Prolog

Prolog (Computer program language) · Computer science

Programming in Prolog

William F. Clocksin

1981

Logic for programming artificial intelligence and reasoning

Logic programming · Congresses

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi

2003

Logical Foundations of Computer Science

Mathematical Logic and Formal Languages · Symbolic and mathematical Logic

Logical Foundations of Computer Science

Sergei Artemov

2007

Foundations of Probabilistic Logic Programming

Logic programming · Machine theory

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018

Language and Automata Theory and Applications

Mathematical Logic and Formal Languages · Algorithm Analysis and Problem Complexity

Language and Automata Theory and Applications

Adrian-Horia Dediu

2012

VHDL for logic synthesis

Logic design · VHDL (Computer hardware description language)

VHDL for logic synthesis

Andrew Rushton

1995

Logic and computer design fundamentals

Electronic digital computers · Circuits

Logic and computer design fundamentals

M. Morris Mano

2000

Advances in Computers, Volume 49 (Advances in Computers)

Computers, periodicals · Electronic data processing

Advances in Computers, Volume 49 (Advances in Computers)

Marvin V. Zelkowitz

1995

Software Engineering

Software engineering · Electronic digital computers

Software Engineering

Roger S. Pressman

1982

Transactions on Engineering Technologies

Computer engineering · Software engineering

Transactions on Engineering Technologies

Sio-Iong Ao

2013

Intelligent Robotics and Applications

Computer vision · Information systems

Intelligent Robotics and Applications

Honghai Liu

2010