The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Halina Przymusinska" ( http://dblp.L3S.de/Authors/Halina_Przymusinska )

  Author page on DBLP  Author page in RDF  Community of Halina Przymusinska in ASPL-2

Publication years (Num. hits)
1986-1996 (15) 1998-2002 (10)
Publication types (Num. hits)
article(9) inproceedings(16)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 26 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski A Language for Multi-dimensional Updates. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski LUPSA language for updating logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski A Language for Updates with Multiple Dimensions. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski A Language for Multi-dimensional Updates. Search on Bibsonomy CLIMA The full citation details ... 2002 DBLP  BibTeX  RDF
1José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski Dynamic updates of non-monotonic knowledge bases. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma Dynamic Knowledge Representation and Its Applications. Search on Bibsonomy AIMSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Updates of Knowledge Bases, Dynamic Knowledge Representation, Generalized Logic Programs, Theory of Actions
1José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma Preliminary exploration on actions as updates. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski LUPS - A Language for Updating Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski Dynamic Logic Programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski Dynamic Logic Programming. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska Towards a Theory of Elaboration Tolerance: Logic Programming Approach. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Halina Przymusinska, Teodor C. Przymusinski Stationary Default Extensions. Search on Bibsonomy Fundam. Inform. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz Autoepistemic Logic and Introspective Circumscription. Search on Bibsonomy TARK The full citation details ... 1994 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska Reasoning on Open Domains. Search on Bibsonomy LPNMR The full citation details ... 1993 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska On consistency and completeness of autoepistemic theories. Search on Bibsonomy Fundam. Inform. The full citation details ... 1992 DBLP  BibTeX  RDF
1Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki Soundness and Completeness of Partial Deductions for Well-Founded Semantics. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska Definitions in Epistemic Specifications. Search on Bibsonomy LPNMR The full citation details ... 1991 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski Disjective Defaults. Search on Bibsonomy KR The full citation details ... 1991 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski On the relationship between CWA, minimal model, and minimal herbrand model semantics. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski On the Relationship Between Circumscription and Negation as Failure. Search on Bibsonomy Artif. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. Search on Bibsonomy ISMIS The full citation details ... 1988 DBLP  BibTeX  RDF
1Halina Przymusinska, Teodor C. Przymusinski Weakly Perfect Model Semantics for Logic Programs. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Halina Przymusinska On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Data Bases. Search on Bibsonomy ISMIS The full citation details ... 1987 DBLP  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska Negation as Failure: Careful Closure Procedure. Search on Bibsonomy Artif. Intell. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. Search on Bibsonomy PODS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license