Search dblp for Publications

export results for "toc:db/journals/fuin/fuin28.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.