BibTeX records: Shahab Tasharrofi

download as .bib file

@article{DBLP:journals/tplp/BogaertsJT16,
  author       = {Bart Bogaerts and
                  Tomi Janhunen and
                  Shahab Tasharrofi},
  title        = {Stable-unstable semantics: Beyond {NP} with normal logic programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {16},
  number       = {5-6},
  pages        = {570--586},
  year         = {2016},
  url          = {https://doi.org/10.1017/S1471068416000387},
  doi          = {10.1017/S1471068416000387},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BogaertsJT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/0001JT16,
  author       = {Bart Bogaerts and
                  Tomi Janhunen and
                  Shahab Tasharrofi},
  editor       = {Adnan Darwiche},
  title        = {Solving {QBF} Instances with Nested {SAT} Solvers},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12603},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/0001JT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/JanhunenTT16,
  author       = {Tomi Janhunen and
                  Shahab Tasharrofi and
                  Eugenia Ternovska},
  editor       = {Dale Schuurmans and
                  Michael P. Wellman},
  title        = {SAT-to-SAT: Declarative Extension of {SAT} Solvers with New Propagators},
  booktitle    = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
                  February 12-17, 2016, Phoenix, Arizona, {USA}},
  pages        = {978--984},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/aaai.v30i1.10111},
  doi          = {10.1609/AAAI.V30I1.10111},
  timestamp    = {Mon, 04 Sep 2023 15:08:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/JanhunenTT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/GebserJKST16,
  author       = {Martin Gebser and
                  Tomi Janhunen and
                  Roland Kaminski and
                  Torsten Schaub and
                  Shahab Tasharrofi},
  editor       = {Loizos Michael and
                  Antonis C. Kakas},
  title        = {Writing Declarative Specifications for Clauses},
  booktitle    = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
                  2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10021},
  pages        = {256--271},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48758-8\_17},
  doi          = {10.1007/978-3-319-48758-8\_17},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GebserJKST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kr/BogaertsJT16,
  author       = {Bart Bogaerts and
                  Tomi Janhunen and
                  Shahab Tasharrofi},
  editor       = {Chitta Baral and
                  James P. Delgrande and
                  Frank Wolter},
  title        = {Declarative Solver Development: Case Studies},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Fifteenth International Conference, {KR} 2016, Cape Town, South
                  Africa, April 25-29, 2016},
  pages        = {74--83},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12822},
  timestamp    = {Tue, 09 Feb 2021 08:33:50 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/BogaertsJT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/0001JT16,
  author       = {Bart Bogaerts and
                  Tomi Janhunen and
                  Shahab Tasharrofi},
  editor       = {Florian Lonsing and
                  Martina Seidl},
  title        = {SAT-to-SAT in QBFEval 2016},
  booktitle    = {Proceedings of the 4th International Workshop on Quantified Boolean
                  Formulas {(QBF} 2016) co-located with 19th International Conference
                  on Theory and Applications of Satisfiability Testing {(SAT} 2016),
                  Bordeaux, France, July 4, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1719},
  pages        = {63--70},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1719/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:33 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/0001JT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/0001JT16,
  author       = {Bart Bogaerts and
                  Tomi Janhunen and
                  Shahab Tasharrofi},
  title        = {Stable-Unstable Semantics: Beyond {NP} with Normal Logic Programs},
  journal      = {CoRR},
  volume       = {abs/1608.01835},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.01835},
  eprinttype    = {arXiv},
  eprint       = {1608.01835},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/0001JT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kr/TasharrofiT14,
  author       = {Shahab Tasharrofi and
                  Eugenia Ternovska},
  editor       = {Chitta Baral and
                  Giuseppe De Giacomo and
                  Thomas Eiter},
  title        = {Generalized Multi-Context Systems},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
                  July 20-24, 2014},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8024},
  timestamp    = {Tue, 09 Feb 2021 08:33:43 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/TasharrofiT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/TasharrofiT14,
  author       = {Shahab Tasharrofi and
                  Eugenia Ternovska},
  title        = {Three Semantics for Modular Systems},
  journal      = {CoRR},
  volume       = {abs/1405.1229},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.1229},
  eprinttype    = {arXiv},
  eprint       = {1405.1229},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TasharrofiT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/Tasharrofi13,
  author       = {Shahab Tasharrofi},
  editor       = {Francesca Rossi},
  title        = {A Rational Extension of Stable Model Semantics to the Full Propositional
                  Language},
  booktitle    = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
                  on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages        = {1118--1124},
  publisher    = {{IJCAI/AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6721},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/Tasharrofi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kr/TasharrofiT12,
  author       = {Shahab Tasharrofi and
                  Eugenia Ternovska},
  editor       = {Arthur H. M. ter Hofstede and
                  Massimo Mecella and
                  Sebastian Sardi{\~{n}}a and
                  Andrea Marrella},
  title        = {Modular Representation of a Business Process Planner},
  booktitle    = {Proceedings of the 1st International Workshop on Knowledge-intensive
                  Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {861},
  pages        = {75--88},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-861/KiBP2012\_paper\_5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:13 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/TasharrofiT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AavaniWTTM12,
  author       = {Amir Aavani and
                  Xiongnan (Newman) Wu and
                  Shahab Tasharrofi and
                  Eugenia Ternovska and
                  David G. Mitchell},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Andrei Voronkov},
  title        = {Enfragmo: {A} System for Modelling and Solving Search Problems with
                  Logic},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
                  International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
                  11-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7180},
  pages        = {15--22},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28717-6\_4},
  doi          = {10.1007/978-3-642-28717-6\_4},
  timestamp    = {Thu, 14 Apr 2022 20:26:15 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AavaniWTTM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/frocos/TasharrofiT11,
  author       = {Shahab Tasharrofi and
                  Eugenia Ternovska},
  editor       = {Cesare Tinelli and
                  Viorica Sofronie{-}Stokkermans},
  title        = {A Semantic Account for Modularity in Multi-language Modelling of Search
                  Problems},
  booktitle    = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
                  2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6989},
  pages        = {259--274},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24364-6\_18},
  doi          = {10.1007/978-3-642-24364-6\_18},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/TasharrofiT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/TasharrofiWT11,
  author       = {Shahab Tasharrofi and
                  Xiongnan (Newman) Wu and
                  Eugenia Ternovska},
  editor       = {Hans Tompits and
                  Salvador Abreu and
                  Johannes Oetsch and
                  J{\"{o}}rg P{\"{u}}hrer and
                  Dietmar Seipel and
                  Masanobu Umeda and
                  Armin Wolf},
  title        = {Solving Modular Model Expansion: Case Studies},
  booktitle    = {Applications of Declarative Programming and Knowledge Management -
                  19th International Conference, {INAP} 2011, and 25th Workshop on Logic
                  Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7773},
  pages        = {215--236},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-41524-1\_12},
  doi          = {10.1007/978-3-642-41524-1\_12},
  timestamp    = {Sun, 02 Jun 2019 21:27:34 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/TasharrofiWT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1109-0583,
  author       = {Shahab Tasharrofi and
                  Xiongnan (Newman) Wu and
                  Eugenia Ternovska},
  title        = {Solving Modular Model Expansion Tasks},
  journal      = {CoRR},
  volume       = {abs/1109.0583},
  year         = {2011},
  url          = {http://arxiv.org/abs/1109.0583},
  eprinttype    = {arXiv},
  eprint       = {1109.0583},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-0583.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AavaniTUTM10,
  author       = {Amir Aavani and
                  Shahab Tasharrofi and
                  Gulay {\"{U}}nel and
                  Eugenia Ternovska and
                  David G. Mitchell},
  editor       = {Edmund M. Clarke and
                  Andrei Voronkov},
  title        = {Speed-Up Techniques for Negation in Grounding},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
                  International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
                  2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6355},
  pages        = {13--26},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17511-4\_2},
  doi          = {10.1007/978-3-642-17511-4\_2},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AavaniTUTM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/TasharrofiT10,
  author       = {Shahab Tasharrofi and
                  Eugenia Ternovska},
  editor       = {Christian G. Ferm{\"{u}}ller and
                  Andrei Voronkov},
  title        = {PBINT, {A} Logic for Modelling Search Problems Involving Arithmetic},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
                  International Conference, LPAR-17, Yogyakarta, Indonesia, October
                  10-15, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6397},
  pages        = {610--624},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16242-8\_43},
  doi          = {10.1007/978-3-642-16242-8\_43},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/TasharrofiT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icn/MizanianAZT06,
  author       = {Kiarash Mizanian and
                  Morteza Analoui and
                  Reza Zakeri and
                  Shahab Tasharrofi},
  title        = {User Modeling Using Network Layer Information},
  booktitle    = {Fifth International Conference on Networking and the International
                  Conference on Systems {(ICN} / {ICONS} / {MCL} 2006), 23-29 April
                  2006, Mauritius},
  pages        = {48},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICNICONSMCL.2006.221},
  doi          = {10.1109/ICNICONSMCL.2006.221},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icn/MizanianAZT06.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.