![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/fuin/fuin28.bht:"
@article{DBLP:journals/fuin/AlferesPP96, author = {Jos{\'{e}} J{\'{u}}lio Alferes and Lu{\'{\i}}s Moniz Pereira and Teodor C. Przymusinski}, title = {Belief Revision in Non-Monotonic Reasoning and Logic Programming}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {1--22}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281201}, doi = {10.3233/FI-1996-281201}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/AlferesPP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/AptB96, author = {Krzysztof R. Apt and Rachel Ben{-}Eliyahu}, title = {Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {23--36}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281202}, doi = {10.3233/FI-1996-281202}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/AptB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BanerjeeC96, author = {Mohua Banerjee and Mihir K. Chakraborty}, title = {Rough Sets Through Algebraic Logic}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {211--221}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283401}, doi = {10.3233/FI-1996-283401}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BanerjeeC96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Blair96, author = {Howard A. Blair}, title = {Designing Dependencies}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {37--54}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281203}, doi = {10.3233/FI-1996-281203}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Blair96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Blikle96, author = {Andrzej Blikle}, title = {Why Denotational? Remarks on Applied Denotational Semantics}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {55--85}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281204}, doi = {10.3233/FI-1996-281204}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Blikle96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Bochman96, author = {Alexander Bochman}, title = {On a Logical Basis of Normal Logic Program}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {223--245}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283402}, doi = {10.3233/FI-1996-283402}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Bochman96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DixGM96, author = {J{\"{u}}rgen Dix and Georg Gottlob and V. Wiktor Marek}, title = {Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {87--100}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281205}, doi = {10.3233/FI-1996-281205}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DixGM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DohertyLS96, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {A Reduction Result for Circumscribed Semi-Horn Formulas}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {261--271}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283404}, doi = {10.3233/FI-1996-283404}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/DohertyLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Fitting96, author = {Melvin Fitting}, title = {A Modal Herbrand Theorem}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {101--122}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281206}, doi = {10.3233/FI-1996-281206}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Fitting96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Gomolinska96, author = {Anna Gomolinska}, title = {On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {303--313}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283407}, doi = {10.3233/FI-1996-283407}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Gomolinska96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GottlobT96, author = {Georg Gottlob and Miroslaw Truszczynski}, title = {Approximating the Stable Model Semantics is Hard}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {123--128}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281207}, doi = {10.3233/FI-1996-281207}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GottlobT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GreenHOS96, author = {John Green and Neil Horne and Ewa Orlowska and Paul Siemens}, title = {A Rough Set Model of Information Retrieval}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {273--296}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283405}, doi = {10.3233/FI-1996-283405}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GreenHOS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GrigorievKO96, author = {Dima Grigoriev and Marek Karpinski and Andrew M. Odlyzko}, title = {Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {297--301}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283406}, doi = {10.3233/FI-1996-283406}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GrigorievKO96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Ho96, author = {Nguyen Cat Ho}, title = {A Method in Linguistic Reasoning on a Knowledge Base Representing by Sentences with Linguistic Belief Degree}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {247--259}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283403}, doi = {10.3233/FI-1996-283403}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/Ho96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/HsiangW96, author = {Jieh Hsiang and Anita Wasilewska}, title = {Automating Algebraic Proofs in Algebraic Logic}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {129--140}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281208}, doi = {10.3233/FI-1996-281208}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/HsiangW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/MirkowskaS96, author = {Grazyna Mirkowska and Andrzej Salwicki}, title = {The Algebraic Specifications do not Have the Tennenbaum Property}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {141--152}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281209}, doi = {10.3233/FI-1996-281209}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/MirkowskaS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/PaunPS96, author = {Gheorghe Paun and Lech Polkowski and Andrzej Skowron}, title = {Parallel Communicating Grammar Systems with Negotiation}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {315--330}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283408}, doi = {10.3233/FI-1996-283408}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/PaunPS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Plaza96, author = {Jan A. Plaza}, title = {Logic Programming from the Perspective of Algebraic Semantics}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {153--164}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281210}, doi = {10.3233/FI-1996-281210}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Plaza96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/PrattT96, author = {Vaughan R. Pratt and Jerzy Tiuryn}, title = {Satisfiability of Inequalities in a Poset}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {165--182}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281211}, doi = {10.3233/FI-1996-281211}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/PrattT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Radev96, author = {Slavian Radev}, title = {Argumentation Systems}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {331--346}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283409}, doi = {10.3233/FI-1996-283409}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Radev96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Schlechta96, author = {Karl Schlechta}, title = {A Two-Stage Approach to First Order Default Reasoning}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {377--402}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283412}, doi = {10.3233/FI-1996-283412}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Schlechta96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Skarbek96, author = {Wladyslaw Skarbek}, title = {Dynamic Behaviour of Spatial Signal OR-Graphs}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {347--352}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283410}, doi = {10.3233/FI-1996-283410}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Skarbek96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Suraj96, author = {Zbigniew Suraj}, title = {Discovery of Concurrent Data Models from Experimental Tables: {A} Rough Set Approach}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {353--376}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283411}, doi = {10.3233/FI-1996-283411}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Suraj96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Trakhtenbrot96, author = {Boris A. Trakhtenbrot}, title = {On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {183--195}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281212}, doi = {10.3233/FI-1996-281212}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Trakhtenbrot96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Urzyczyn96, author = {Pawel Urzyczyn}, title = {Positive Recursive Type Assignment}, journal = {Fundam. Informaticae}, volume = {28}, number = {1-2}, pages = {197--209}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-281213}, doi = {10.3233/FI-1996-281213}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Urzyczyn96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Winkowski96, author = {J{\'{o}}zef Winkowski}, title = {Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {403--421}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283413}, doi = {10.3233/FI-1996-283413}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Winkowski96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Wroblewski96, author = {Jakub Wroblewski}, title = {Theoretical Foundations of Order-Based Genetic Algorithms}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {423--430}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283414}, doi = {10.3233/FI-1996-283414}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Wroblewski96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.