• About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society
Login
  • About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society

In Proceedings

Updates of Logic Programs by means of Logic Programs

InProceedings

Published in 01/01/1998

Authors

José Júlio Alferes, João Leite, Luís Moniz Pereira, H. Przymusinska, T. Przymusinski,

Partial Parsing, deduction and Tabling

InProceedings

Published in 01/01/1998

Authors

Vitor Rocio, Vitor Rocio, B. Lang, Gabriel Pereira Lopes, Gabriel Pereira Lopes,

Generalizing Updates: From Models to Programs

InProceedings

Published in 01/01/1998

Authors

João Leite, João Leite, Luís Moniz Pereira, Luís Moniz Pereira,

Structure and Properties of Leximin FCSP and its Influence on Optimisation Algorithms

InProceedings

Published in 01/01/1998

Authors

João Moura Pires, Fernando Moura Pires, Rita Almeida Ribeiro,

Dynamic Logic Programming

InProceedings

Published in 01/01/1998

Authors

José Júlio Alferes, J. L. Freire Nistal, José Júlio Alferes, A. Cohn, João Leite, M. Falaschi, João Leite, L.Schubert, Luís Moniz Pereira, M. Villares Ferro, Luís Moniz Pereira, H. Przymusinska, H. Przymusinska, T. Przymusinski, T. Przymusinski,

Incorporating Specificity in Extended Logic Programs for Belief Revision

InProceedings

Published in 01/01/1998

Authors

B. B. Garcia, Diane J. Cook, Gabriel Pereira Lopes,

A Society of Agents in Environmental Monitoring

InProceedings

Published in 01/01/1998

Authors

João Costa Seco, Rolf Pfeifer, João Costa Seco, Carlos Pinto-Ferreira, Bruce Blumberg, Carlos Pinto Ferreira, Jean-Arcady Meyer, Stewart Wilson,

Dynamic Logic Programming

InProceedings

Published in 01/01/1998

Authors

José Júlio Alferes, J. L. Freire Nistal, José Júlio Alferes, A. Cohn, João Leite, M. Falaschi, João Leite, L.Schubert, Luís Moniz Pereira, M. Villares Ferro, Luís Moniz Pereira, H. Przymusinska, H. Przymusinska, T. Przymusinski, T. Przymusinski,

Argumentation and cooperation for distributed extended logic programs

InProceedings

Published in 01/01/1998

Authors

G. Brewka, José Júlio Alferes, Juergen Dix, M. Schroeder, J. Lobo,

Sistema de Apoio a Decisão, Baseado em lógica Difusa, para a gestão de Prioridades de Reparação de Avarias de Equipamentos, em Situação de Combate

InProceedings

Published in 01/01/1998

Authors

Mario S. Marques, Rita Almeida Ribeiro,

Posts pagination

Previous 1 … 145 146 147 148 Next
  • Home
  • Events
  • About Us
  • News
  • People
  • Society

follow us

NOVA School of Science & Technology
Department of Computer Science
Campus de Caparica
2829-516 Caparica
Portugal

nova-lincs.sec@fct.unl.pt
direct +351 212948536
central +351 212948300

NOVA LINCS receives financial support from FCT under the funding:

UIDB/04516/2020 UIDP/04516/2020