CS@BIU

  • Postal addressShow on map

    Bar-Ilan University, Building 216, Room 101

    5290002 Ramat Gan

    Israel

Filter
Chapter

Search results

  • 2021

    Algebraic Logic and Knowledge Bases

    Aladova, E., Plotkin, B. & Plotkin, T., 2021, Outstanding Contributions to Logic. Springer Science and Business Media B.V., p. 3-25 23 p. (Outstanding Contributions to Logic; vol. 19).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Big Data analytics and artificial intelligence in mental healthcare

    Rosenfeld, A., Benrimoh, D., Armstrong, C., Mirchi, N., Langlois-Therrien, T., Rollins, C., Tanguay-Sela, M., Mehltretter, J., Fratila, R., Israel, S., Snook, E., Perlman, K., Kleinerman, A., Saab, B., Thoburn, M., Gabbay, C. & Yaniv-Rosenfeld, A., 1 Jan 2021, Applications of Big Data in Healthcare: Theory and Practice. Elsevier, p. 137-171 35 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    10 Scopus citations

  • Intelligent Agents are More Complex: Initial Empirical Findings

    Kaminka, G. A. & Zanbary, A. T., 1 Jan 2021, Artificial Intelligence: Methods for Software Engineering. World Scientific Publishing Co., p. 87-108 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Intelligent Agents are More Complex: Initial Empirical Findings

    Kaminka, G. A. & Zanbar, A. T., 21 May 2021, Artificial Intelligence Methods for Software Engineering. Kalech, M., Abreu, R. & Last, M. (eds.). World Scientific., p. 87-108 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Reverse Engineering Through Automata Learning

    Peled, D., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 182-192 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13065 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2020

    Talmudic Norms Approach to Mixtures with a Solution to the Paradox of the Heap: A Position Paper

    David, E., David, R. S., Gabbay, D. M. & Schild, U. J., 2020, Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures. Springer Science and Business Media B.V., p. 173-193 21 p. (Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures; vol. 34).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    2 Scopus citations
  • 2019

    Control synthesis through deep learning

    Peled, D., Iosti, S. & Bensalem, S., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 242-255 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11500 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    1 Scopus citations

  • Formal methods

    Peled, D. A., 11 Feb 2019, Handbook of Software Engineering. Springer International Publishing, p. 193-222 30 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    4 Scopus citations

  • Geometric optimization revisited

    Agarwal, P. K., Ezra, E. & Fox, K., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 66-84 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10000).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    Open Access
    3 Scopus citations

  • High Performance BCI in Controlling an Avatar Using the Missing Hand Representation in Long Term Amputees

    Cohen, O., Doron, D., Koppel, M., Malach, R. & Friedman, D., 1 Jul 2019, Brain-Computer Interface Research. Cham, Switzerland: Springer, p. 93-101 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Refining the Safety–Liveness Classification of Temporal Properties According to Monitorability

    Peled, D. & Havelund, K., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 218-234 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11200 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    15 Scopus citations

  • Taking Turns in Complete Coverage for Multiple Robots

    Alon, L. O., Agmon, N. & Kaminka, G. A., 2019, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 401-412 12 p. (Springer Proceedings in Advanced Robotics; vol. 9).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • TENSE LOGICS AND THE TENSES OF ENGLISH

    Gabbay, D. M., 1 Jan 2019, Logic and Philosophy for Linguists: A Book of Readings. de Gruyter, p. 177-186 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2018

    Argumentation as exogenous coordination

    van der Torre, L., Rienstra, T. & Gabbay, D., 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 208-223 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    1 Scopus citations

  • Construction of Optimal Control Graphs in Multi-robot Systems

    Kaminka, G. A., Lupu, I. & Agmon, N., 2018, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 163-175 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    1 Scopus citations

  • From Ants to Birds: A Novel Bio-Inspired Approach to Online Area Coverage

    Giuggioli, L., Arye, I., Heiblum Robles, A. & Kaminka, G. A., 2018, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 31-43 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    8 Scopus citations

  • Partial-order reduction

    Peled, D., 18 May 2018, Handbook of Model Checking. Springer International Publishing, p. 173-190 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    8 Scopus citations

  • The Effectiveness Index Intrinsic Reward for Coordinating Service Robots

    Douchan, Y. & Kaminka, G. A., 2018, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 299-311 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2017

    Automata based validation techniques

    Peled, D., 1 Jan 2017, Dependable Software Systems Engineering. IOS Press, p. 126-140 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • How to simulate it – A tutorial on the simulation proof technique

    Lindell, Y., 2017, Information Security and Cryptography. 9783319570471 ed. Springer International Publishing, p. 277-346 70 p. (Information Security and Cryptography; vol. 0, no. 9783319570471).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    135 Scopus citations

  • The Recognizing Textual Entailment Challenges: Datasets and Methodologies

    Bentivogli, L., Dagan, I. & Magnini, B., 1 Jun 2017, Handbook of Linguistic Annotation. Pustejovsky, J. & Ide, N. (eds.). Dordrecht, The Netherlands: Springer, p. 1119-1147 29 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2016

    Dictionary Matching

    Lewenstein, M., 2016, Encyclopedia of Algorithms. MY, K. (ed.). New York, NY, USA: Springer New York LLC, p. 533-538 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Parameterized Pattern Matching

    Lewenstein, M., 1 Apr 2016, Encyclopedia of Algorithms. New York, NY, USA: Springer New York LLC, p. 1525-1530 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Perturbation Models and PAC-Bayesian Generalization Bounds

    Keshet, J., Maji, S., Hazan, T. & Jaakkola, T., 2016, Perturbations, Optimization, And Statistics. Hazan, T., Papandreou, G. & Tarlow, D. (eds.). p. 289-309 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Textual Entailment

    Pado, S. & Dagan, I., 2016, The Oxford Handbook of Computational Linguistics 2nd edition. Mitkov, R. (ed.). 2nd ed. Oxford University Press Oxford, p. 151-170 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    Open Access
  • 2015

    Axiomatic analysis of negotiation

    Fatima, S., Kraus, S. & Wooldridge, M., 2015, Principles Of Automated Negotiation. p. 192-205 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • From Verification to Synthesis

    Peled, D., 2015, Dependable Software Systems Engineering. Pretschner, A., Peled, D. & Irlbeck, M. (eds.). IOS Press, p. 204-307 14 p. (NATO Science for Peace and Security Series - D: Information and Communication Security; vol. 40).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Topological Aspects of Matrix Abduction 1

    Laufer, A. & Gabbay, D. M., 2015, Studies in Universal Logic. Springer Nature, p. 339-355 17 p. (Studies in Universal Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    2 Scopus citations

  • Topological Aspects of Matrix Abduction 2

    Ben Adar Bessos, M. & Gabbay, D. M., 2015, Studies in Universal Logic. Springer Nature, p. 357-385 29 p. (Studies in Universal Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2014

    A New Approach to Alphabet Extension for Improving Static Compression Schemes

    Klein, S., 2014, Language, Culture, Computation. Computing-Theory and Technology. Dershowitz, N. & Nissan, E. (eds.). Springer Berlin Heidelberg, p. 197-212 16 p. (Lecture Notes in Computer Science; vol. 8001).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Introduction to Labelled Deductive Systems

    Gabbay, D. M., 1 Jan 2014, Handbook of Philosophical Logic. Springer Netherlands, Vol. 17. p. 179-266 88 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    8 Scopus citations

  • Intuitionistic Basis for Input/Output Logic

    Parent, X., Gabbay, D. & Torre, L. V. D., 2014, Outstanding Contributions to Logic. Springer, p. 263-286 24 p. (Outstanding Contributions to Logic; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    6 Scopus citations

  • Keyhole Adversarial Plan Recognition for Recognition of Suspicious and Anomalous Behavior

    Avrahami-Zilberbrand, D. & Kaminka, G. A., Mar 2014, Plan, Activity, and Intent Recognition: Theory and Practice. Elsevier Inc., p. 87-119 33 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    13 Scopus citations

  • Manipulating Information Providers Access to Information in Auctions

    Alkoby, S., Sarne, D. & David, E., 2014, Technologies and Applications of Artificial Intelligence. Cham, Switzerland: Springer, Vol. 8916. p. 14-25 12 p. (Lecture Notes in Computer Science; vol. 8916).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Optimizing the measure of performance in structured prediction

    Keshet, J., 2014, Advanced Structured Prediction. Keshet, J. (ed.). The MIT Press

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Role-Based Ad Hoc Teamwork

    Genter, K., Agmon, N. & Stone, P., Mar 2014, Plan, Activity, and Intent Recognition: Theory and Practice. Elsevier Inc., p. 251-272 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    2 Scopus citations

  • The Measurement of Voting Power as a Special Case of the Measurement of Political Power

    Diskin, A. & Koppel, M., 1 Apr 2014, Voting Power and Procedures. Fara, R., Leech, D. & Salles, M. (eds.). Cham, Switzerland: Springer International Publishing, p. 33-40 8 p. (Studies in Choice and Welfare).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • User Empowering Design

    Gallula, D. & Frank, A. J., 1 Sep 2014, ECCE '14: Proceedings of the 2014 European Conference on Cognitive Ergonomics. New York, NY, USA: Association for Computing Machinery, p. 1-3 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • What is a logical system? An evolutionary view: 1964-2014

    Gabbay, D., 2014, Handbook of the History of Logic. C ed. Elsevier B.V., p. 41-132 92 p. (Handbook of the History of Logic; vol. 9, no. C).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    2 Scopus citations

  • When are Two Arguments the Same? Equivalence in Abstract Argumentation

    Gabbay, D. & Grossi, D., 2014, Outstanding Contributions to Logic. Springer, p. 677-701 25 p. (Outstanding Contributions to Logic; vol. 5).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    1 Scopus citations
  • 2013

    3 mega-pixel InSb detector with 10µm pitch

    Gershon, G., Albo, A., Eylon, M., Cohen, O., Calahorra, Z., Brumer, M., Nitzani, M., Avnon, E., Aghion, Y., Kogan, I., Ilan, E. & Shkedy, L., 18 Jun 2013, Proceedings Volume 8704, Infrared Technology and Applications XXXIX. SPIE, Vol. 8704. p. 929-938 10 p. 870438. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8704).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    23 Scopus citations

  • A theory of hypermodal logics: Mode shifting in modal logic

    Gabbay, D. M., 2013, Cognitive Technologies. 9783642413889 ed. Springer Verlag, p. 1-28 28 p. (Cognitive Technologies; no. 9783642413889).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Completeness theorems for reactive modal logics

    Gabbay, D. M., 2013, Cognitive Technologies. 9783642413889 ed. Springer Verlag, p. 119-167 49 p. (Cognitive Technologies; no. 9783642413889).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Global view on reactivity: Switch graphs and their logics

    Gabbay, D. M., 2013, Cognitive Technologies. 9783642413889 ed. Springer Verlag, p. 203-236 34 p. (Cognitive Technologies; no. 9783642413889).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Introducing reactive kripke semantics and arc accessibility

    Gabbay, D. M., 2013, Cognitive Technologies. 9783642413889 ed. Springer Verlag, p. 29-76 48 p. (Cognitive Technologies; no. 9783642413889).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Introducing reactive modal tableaux

    Gabbay, D. M., 2013, Cognitive Technologies. 9783642413889 ed. Springer Verlag, p. 77-99 23 p. (Cognitive Technologies; no. 9783642413889).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • LCP Magic

    Lewenstein, M., 2013, Combinatorial Pattern Matching. Fischer, J. & Sanders, P. (eds.). Berlin, Germany: Springer, p. 11 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Modal logics of reactive frames

    Gabbay, D. M., 2013, Cognitive Technologies. 9783642413889 ed. Springer Verlag, p. 169-202 34 p. (Cognitive Technologies; no. 9783642413889).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Model checking basics

    Peled, D., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press, Vol. 34. p. 335-362 28 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Reactive automata

    Gabbay, D. M., 2013, Cognitive Technologies. 9783642413889 ed. Springer Verlag, p. 237-256 20 p. (Cognitive Technologies; no. 9783642413889).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review