Logic-Based Program Synthesis and Transformation

Na minha lista:

Detalhes bibliográficos
Principais autores:	King, Andy, SpringerLink (Online service), International Symposium, LOPSTR 2007
Formato:	Digital
Publicado em:
Assuntos:	Computação. Inteligência artificial.
Endereço do item:	http://dx.doi.org/10.1007/978-3-540-78769-3
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Functional and Logic Programming
por: Garrigue, Jacques, et al.
Publicado em: (2022)

Inductive Logic Programming
por: Blockeel, Hendrik, et al.
Publicado em: (2022)

Inductive Logic Programming
por: Zelezný, Filip, et al.
Publicado em: (2022)

Logic for computer scientists
por: Schöning, Uwe., et al.
Publicado em: (2022)

Logic programming : expanding the horizons /
por: Dodd, A., et al.
Publicado em: (2023)

Computer Science Logic
por: Kaminski, Michael, et al.
Publicado em: (2022)

Probabilistic Inductive Logic Programming Theory and Applications /
por: Raedt, Luc, et al.
Publicado em: (2022)

Logics in Artificial Intelligence
por: Hölldobler, Steffen, et al.
Publicado em: (2022)

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
por: Garcia de la Banda, Maria., et al.
Publicado em: (2022)

Principles and Practice of Constraint Programming
por: Stuckey, Peter J., et al.
Publicado em: (2022)

Genetic Programming
por: O'Neill, Michael, et al.
Publicado em: (2022)

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
por: Meyden, Ron., et al.
Publicado em: (2022)

Logic and computer science /
por: Odifreddi, Piergiorgio,
Publicado em: (2022)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
por: Cervesato, Iliano., et al.
Publicado em: (2022)

Programming Multi-Agent Systems
por: Dastani, Mehdi, et al.
Publicado em: (2022)

The logic as base in the development and application of new technologies. -
por: Congress of Logic Applied to Technology Santos, SP) 2007 : (6.:
Publicado em: (2022)

Scalable Uncertainty Management
por: Greco, Sergio, et al.
Publicado em: (2022)

Type-2 Fuzzy Logic Theory and Applications /
por: Castillo, Oscar., et al.
Publicado em: (2022)

Unifying perspectives in computational and robot vision
por: Kragic, Danica, et al.
Publicado em: (2022)

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /
por: Fages, François., et al.
Publicado em: (2022)

PRICAI 2008: Trends in Artificial Intelligence 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings /
por: Ho, Tu-Bao., et al.
Publicado em: (2022)

Research and Development in Intelligent Systems XXIV
por: Bramer, Max, et al.
Publicado em: (2022)

Applications and Innovations in Intelligent Systems XV
por: Ellis, Richard, et al.
Publicado em: (2022)

Intelligent information processing IV
por: Shi, Zhongzhi, et al.
Publicado em: (2022)

Robotica mobile Un'introduzione pratica /
por: Nehmzow, Ulrich., et al.
Publicado em: (2022)

Adaptive Cooperation between Driver and Assistant System Improving Road Safety /
por: Holzmann, Frédéric., et al.
Publicado em: (2022)

Algorithms in Invariant Theory
por: Sturmfels, Bernd., et al.
Publicado em: (2022)

Artificial Neural Networks - ICANN 2008 Part I /
por: Kurková, Véra, et al.
Publicado em: (2022)

Artificial Neural Networks - ICANN 2008 Part II /
por: Kurková, Véra, et al.
Publicado em: (2022)

Advances in Artificial Intelligence
por: Bergler, Sabine, et al.
Publicado em: (2022)

DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers /
por: Garzon, Max H., et al.
Publicado em: (2022)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
por: Perron, Laurent, et al.
Publicado em: (2022)

Logical and Relational Learning
por: Raedt, Luc de, et al.
Publicado em: (2022)

Genetic programming theory and practice V
por: Riolo, Rick, et al.
Publicado em: (2022)

Understanding Planning Tasks Domain Complexity and Heuristic Decomposition /
por: Helmert, Malte., et al.
Publicado em: (2022)

Systematic Design for Emergence in Cellular Nonlinear Networks With Applications in Natural Computing and Signal Processing /
por: Dogaru, Radu., et al.
Publicado em: (2022)

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
por: Sadri, Fariba., et al.
Publicado em: (2022)

Foundations of genetic programming /
por: Langdon, William B., et al.
Publicado em: (2022)

Foundations of genetic programming /
por: Langdon, William B., et al.
Publicado em: (2022)

Springer handbook of robotics
por: Siciliano, Bruno, et al.
Publicado em: (2022)