Pereira, Luís Moniz.
Pereira, Luís Moniz, 1947-
Luís Moniz Pereira
Pereira, Luís Moniz Computer science
Pereira, Luís Moniz, 1947-...., auteur en informatique
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 163615181 (Personal)
Permalink: http://viaf.org/viaf/163615181
Preferred Forms
-
100 0 _
‡a
Luís Moniz Pereira
-
100 1 _ ‡a Pereira, Luis Moniz
-
100 1 _ ‡a Pereira, Luís Moniz
-
100 1 _ ‡a Pereira, Luís Moniz
-
100 1 _
‡a
Pereira, Luís Moniz
-
100 1 _
‡a
Pereira, Luís Moniz
‡d
1947-
-
100 1 _
‡a
Pereira, Luís Moniz
‡d
1947-
-
100 1 _ ‡a Pereira, Luís Moniz, ‡c Computer science
-
100 1 _
‡a
Pereira, Luís Moniz,
‡d
1947-....,
‡c
auteur en informatique
-
100 1 _ ‡a Pereira, Luĩs Moniz (sparse)
-
100 1 _ ‡a Pereira, Luís Moniz
-
100 1 _
‡a
Pereira, Luís Moniz
-
100 1 _
‡a
Pereira, Luís Moniz
‡c
Computer science
-
100 1 _ ‡a Pereira, Luís Moniz.
-
200 _ 1 ‡a Pereira, ‡b Luís Moniz, ‡f 1947-
4xx's: Alternate Name Forms (20)
5xx's: Related Names (3)
- 510 2 _
‡a
Centro de Informatica
- 510 2 _
‡a
Centro de Informatica
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Universidade Nova de Lisboa. Faculdade de Ciências e Tecnologia. Departamento de Informática
Works
| Title | Sources |
|---|---|
| Abduction in well-founded semantics and generalized stable models via tabled dual programs |
|
| Adaptive Reasoning for Cooperative Agents |
|
| Aplicação da programação em lógica dinâmica ao raciocínio legal caso da protecção fitossanitária de vegetais |
|
| Cibernética-epistemologia |
|
| ciências do artificial |
|
| Cluster-Lift Method for Mapping Research Activities over a Concept Tree |
|
| Collaborative vs. Conflicting Learning, Evolution and Argumentation |
|
| Common-sense reasoning as proto-scientific agent activity |
|
| Computacional modeling and simulation of humana social behaviour and culture |
|
| Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings |
|
| Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy |
|
| Dynamic updates of non-monotonic knowledge bases |
|
| EPIA '91 / P. Barahona, L. Moniz Pereira, A. Porto (eds.). - Berlin, 1991. |
|
| Epistemology and artificial intelligence |
|
| Evolution of commitment and level of participation in public goods games |
|
| Evolution Prospection |
|
| Evolving towards an evolutionary epistemology |
|
| Generalizing updates: From models to programs |
|
| Geom prolog geometry theorem prover |
|
| Good agreements make good friends |
|
| Horizontes do futuro moral para máquinas & a maquinaria da moral |
|
| How to solve it with PROLOG |
|
| Hybrid Probabilistic Logic Programs as Residuated Logic Programs |
|
| Incremental Answer Completion in the SLG-WAM |
|
| Intention recognition promotes the emergence of cooperation |
|
| Intention Recognition via Causal Bayes Networks Plus Plan Generation |
|
| introdução à cibernética |
|
| Introdução aos autómatos infinitos e teoria da computabilidade |
|
| Introduction |
|
| Issues inheuristics |
|
| JELIA '94. |
|
| A Language for Multi-dimensional Updates |
|
| Layered Models Top-Down Querying of Normal Logic Programs |
|
| A Logic Based Asynchronous Multi-Agent System |
|
| Logic Programming and Knowledge Representation : Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers |
|
| Logics in AI. |
|
| Logics in artificial intelligence : european workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 : proceedings |
|
| LPKR'97 |
|
| LUPS — A Language for Updating Logic Programs |
|
| máquina iluminada cognição e computação |
|
| Method for Intelligent Representation of Research Activities of an Organization over a Taxonomy of Its Field |
|
| Methodological naturalism and epistemic internalism |
|
| Modelling Probabilistic Causation in Decision Making |
|
| Multi-dimensional Dynamic Knowledge Representation |
|
| NMELP '96 |
|
| Non-monotonic extensions of logic programming : second international workshop, NMELP'96, Bad Honnef, Germany, September 5-6, 1996 : selected papers |
|
| Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation |
|
| On morals for machines & the machinery of morals |
|
| On Preferring and Inspecting Abductive Models |
|
| Paraconsistent Logic Programs |
|
| Portuguese Conf. on Artificial Intell. (5th : 1991 : Albufeira, Portugal). EPIA '91, c1991: |
|
| Preference Revision Via Declarative Debugging |
|
| Preferential theory revision |
|
| Program Updating by Incremental and Answer Subsumption Tabling |
|
| Programming machine ethics |
|
| Prospective logic agents |
|
| Reasoning with logic programming |
|
| Revision based total semantics for extended normal logic programs |
|
| Side-Effect Inspection for Decision Making |
|
| Stabel Model Implementation of Layer Supported Models by Program Transformation |
|
| Synergy between intention recognition and commitments in cooperation dilemmas |
|
| Towards Practical Tabled Abduction in Logic Programs |
|
| Updates plus Preferences |
|
| Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks |
|
| When agreement-accepting free-riders are a necessary evil for the evolution of cooperation |
|
| ভূমিকা |
|
