×

zbMATH — the first resource for mathematics

Sadri, Fariba

Compute Distance To:
Author ID: sadri.fariba Recent zbMATH articles by "Sadri, Fariba"
Published as: Sadri, Fariba; Sadri, F.
External Links: MGP
Documents Indexed: 32 Publications since 1987, including 5 Books

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 68 times in 47 Documents Cited by Year
Logic programs with exceptions. Zbl 0737.68015
Kowalski, Robert A.; Sadri, Fariba
8
1991
From logic programming towards multi-agent systems. Zbl 0940.68017
Kowalski, Robert; Sadri, Fariba
8
1999
Computational logic foundations of KGP agents. Zbl 1182.68279
Kakas, A.; Mancarella, P.; Sadri, F.; Stathis, K.; Toni, F.
6
2008
Reconciling the event calculus with the situation calculus. Zbl 0882.68028
Kowalski, Robert; Sadri, Fariba
6
1997
The CIFF proof procedure for abductive logic programming with constraints. Zbl 1111.68674
Endriss, U.; Mancarella, P.; Sadri, F.; Terreni, G.; Toni, F.
5
2004
An agent language with destructive assignment and model-theoretic semantics. Zbl 1286.68417
Kowalski, Robert; Sadri, Fariba
5
2010
An abductive logic programming architecture for negotiating agents. Zbl 1013.68205
Sadri, Fariba; Toni, Francesca; Torroni, Paolo
5
2002
The CIFF proof procedure for abductive logic programming with constraints: theory, implementation and experiments. Zbl 1184.68161
Mancarella, Paolo; Terreni, Giacomo; Sadri, Fariba; Toni, Francesca; Endriss, Ulle
4
2009
Reactive computing as model generation. Zbl 1333.68108
Kowalski, Robert; Sadri, Fariba
4
2015
Programming in logic without logic programming. Zbl 1379.68095
Kowalski, Robert; Sadri, Fariba
4
2016
Normative KGP agents. Zbl 1103.68721
Sadri, Fariba; Stathis, Kostas; Toni, Francesca
3
2006
The KGP model of agency for global computing: Computational model and prototype implementation. Zbl 1111.68452
Bracciali, Andrea; Demetriou, Neophytos; Endriss, Ulle; Kakas, Antonis C.; Lu, Wenjin; Mancarella, Paolo; Sadri, Fariba; Stathis, Kostas; Terreni, Giacomo; Toni, Francesca
3
2005
Abductive logic programming agents with destructive databases. Zbl 1230.68200
Kowalski, Robert; Sadri, Fariba
2
2011
Variety of behaviours through profiles in logic-based agents. Zbl 1236.68266
Sadri, Fariba; Toni, Francesca
1
2006
Permutation dependency in datalog programs. Zbl 0765.68028
Alagar, V. S.; Goyal, P.; Nair, P. S.; Sadri, F.
1
1993
Combining introspection and communication with rationality and reactivity in agents. Zbl 0928.03032
Dell’Acqua, Pierangelo; Sadri, Fariba; Toni, Francesca
1
1998
Declarative agent control. Zbl 1081.68686
Kakas, Antonis; Mancarella, Paolo; Sadri, Fariba; Stathis, Kostas; Toni, Francesca
1
2005
Three recent approaches to temporal reasoning. Zbl 0663.68103
Sadri, Fariba
1
1987
Programming in logic without logic programming. Zbl 1379.68095
Kowalski, Robert; Sadri, Fariba
4
2016
Reactive computing as model generation. Zbl 1333.68108
Kowalski, Robert; Sadri, Fariba
4
2015
Abductive logic programming agents with destructive databases. Zbl 1230.68200
Kowalski, Robert; Sadri, Fariba
2
2011
An agent language with destructive assignment and model-theoretic semantics. Zbl 1286.68417
Kowalski, Robert; Sadri, Fariba
5
2010
The CIFF proof procedure for abductive logic programming with constraints: theory, implementation and experiments. Zbl 1184.68161
Mancarella, Paolo; Terreni, Giacomo; Sadri, Fariba; Toni, Francesca; Endriss, Ulle
4
2009
Computational logic foundations of KGP agents. Zbl 1182.68279
Kakas, A.; Mancarella, P.; Sadri, F.; Stathis, K.; Toni, F.
6
2008
Normative KGP agents. Zbl 1103.68721
Sadri, Fariba; Stathis, Kostas; Toni, Francesca
3
2006
Variety of behaviours through profiles in logic-based agents. Zbl 1236.68266
Sadri, Fariba; Toni, Francesca
1
2006
The KGP model of agency for global computing: Computational model and prototype implementation. Zbl 1111.68452
Bracciali, Andrea; Demetriou, Neophytos; Endriss, Ulle; Kakas, Antonis C.; Lu, Wenjin; Mancarella, Paolo; Sadri, Fariba; Stathis, Kostas; Terreni, Giacomo; Toni, Francesca
3
2005
Declarative agent control. Zbl 1081.68686
Kakas, Antonis; Mancarella, Paolo; Sadri, Fariba; Stathis, Kostas; Toni, Francesca
1
2005
The CIFF proof procedure for abductive logic programming with constraints. Zbl 1111.68674
Endriss, U.; Mancarella, P.; Sadri, F.; Terreni, G.; Toni, F.
5
2004
An abductive logic programming architecture for negotiating agents. Zbl 1013.68205
Sadri, Fariba; Toni, Francesca; Torroni, Paolo
5
2002
From logic programming towards multi-agent systems. Zbl 0940.68017
Kowalski, Robert; Sadri, Fariba
8
1999
Combining introspection and communication with rationality and reactivity in agents. Zbl 0928.03032
Dell’Acqua, Pierangelo; Sadri, Fariba; Toni, Francesca
1
1998
Reconciling the event calculus with the situation calculus. Zbl 0882.68028
Kowalski, Robert; Sadri, Fariba
6
1997
Permutation dependency in datalog programs. Zbl 0765.68028
Alagar, V. S.; Goyal, P.; Nair, P. S.; Sadri, F.
1
1993
Logic programs with exceptions. Zbl 0737.68015
Kowalski, Robert A.; Sadri, Fariba
8
1991
Three recent approaches to temporal reasoning. Zbl 0663.68103
Sadri, Fariba
1
1987

Citations by Year